Computable structures of rank omega_1^{CK}
Logic
2007-05-23 v1
Abstract
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'.
Cite
@article{arxiv.math/0508507,
title = {Computable structures of rank omega_1^{CK}},
author = {Julia Knight and Jessica Millar},
journal= {arXiv preprint arXiv:math/0508507},
year = {2007}
}
Comments
13 pages, submitted to the Journal of Mathematical Logic Aug 2004