Computable structures of rank omega_1^{CK}

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

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'.
13 pages, submitted to the Journal of Mathematical Logic Aug 2004

Keywords

Logic, 03C57;03D60

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/76161

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0508507
 http://arxiv.org/abs/math/0508507

Collections

arXiv