Computable structures of rank omega_1^{CK}

dc.creator	Knight, Julia
dc.creator	Millar, Jessica
dc.date	2005-08-25
dc.date.accessioned	2026-07-07T05:22:42Z
dc.date.available	2026-07-07T05:22:42Z
dc.description	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'.
dc.description	13 pages, submitted to the Journal of Mathematical Logic Aug 2004
dc.identifier	https://arxiv.org/abs/math/0508507
dc.identifier	http://arxiv.org/abs/math/0508507
dc.identifier.uri	http://salesiana.dossiersoluciones.com/handle/123456789/76161
dc.subject	Logic
dc.subject	03C57;03D60
dc.title	Computable structures of rank omega_1^{CK}
dc.type	text

Collections