arXiv Analytics

Sign in

arXiv:math/0508507 [math.LO]AbstractReferencesReviewsResources

Computable structures of rank omega_1^{CK}

Julia Knight, Jessica Millar

Published 2005-08-25Version 1

We obtain a computable structure of Scott rank omega_1^{CK} (call this ock), and give a general coding procedure that transforms any hyperarithmetical structure A into a computable structure A' such that the rank of A is ock, ock+1, or < ock iff the same is true of A'.

Comments: 13 pages, submitted to the Journal of Mathematical Logic Aug 2004
Categories: math.LO
Subjects: 03C57, 03D60
Related articles: Most relevant | Search more
arXiv:1906.04351 [math.LO] (Published 2019-06-11)
Bounds on Scott Ranks of Some Polish Metric Spaces
arXiv:0803.3294 [math.LO] (Published 2008-03-22)
Index Sets of Computable Structures
arXiv:0805.1889 [math.LO] (Published 2008-05-13)
Effective categoricity of Abelian p-groups

Links

Toolbox