Computable trees of Scott rank ω 1 CK , and computable approximation
Calvert, Wesley, Knight, Julia F., Millar, JessicaVolume:
71
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1140641175
Date:
March, 2006
File:
PDF, 1.20 MB
english, 2006