pith. sign in

arxiv: math/0508507 · v1 · submitted 2005-08-25 · 🧮 math.LO

Computable structures of rank omega₁^(CK)

classification 🧮 math.LO
keywords computablerankstructureomegacallcodinggeneralgive
0
0 comments X
read the original 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'.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.