Computability-theoretic categoricity and Scott families

• Published in: Annals of pure and applied logic 2019-06, Vol.170 (6), p.699-717
• Main Authors: Fokina, Ekaterina, Harizanov, Valentina, Turetsky, Daniel
• Format: Article
• Language: English
• Subjects: Categoricity; Computable model theory; Scott family; Turing degree
• ISSN: 0168-0072
• DOI: 10.1016/j.apal.2019.01.003

Computability-theoretic investigation of algorithmic complexity of isomorphisms between countable structures is a key topic in computable structure theory since Fröhlich and Shepherdson, Mal'cev, and Metakides and Nerode. A computable structure A is called computably categorical if for every computable isomorphic B, there is a computable isomorphism from A onto B. By relativizing the notion of computable categoricity to a Turing degree d, we obtain the notion of d-computable categoricity. For the case when d is 0(n−1), we also speak about Δn0-categoricity, for n≥1. More generally, A is relatively Δn0-categorical if for every isomorphic B, there is an isomorphism that is Δn0 relative to the atomic diagram of B. Equivalently, A is relatively Δn0-categorical if and only if A has a computably enumerable Scott family of computable (infinitary) Σn formulas. Relative Δn0-categoricity implies Δn0-categoricity, but not vice versa. In this paper, we present an example of a computable Fraïssé limit that is computably categorical (that is, Δ10-categorical) but not relatively computably categorical. We also present examples of Δ20-categorical but not relatively Δ20-cate- gorical structures in natural classes such as trees of finite and infinite heights, and homogeneous, completely decomposable, abelian groups. It is known that for structures from these classes computable categoricity and relative computable categoricity coincide. The categoricity spectrum of a computable structure M is the set of all Turing degrees d such that M is d-computably categorical. The degree of categoricity of M is the least degree in the categoricity spectrum of M, if such a degree exists. It provides the exact level of categoricity of the structure. In this paper, we compute degrees of categoricity for relatively Δ20-categorical abelian p-groups and for relatively Δ30-categorical Boolean algebras.