Turing Degrees and Automorphism Groups of Substructure Lattices [article]

Rumen Dimitrov, Valentina Harizanov, Andrey Morozov
2018 arXiv   pre-print
The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of investigation in computable model theory. In this paper, we focus on the lattice structure of computably enumerable substructures of a given canonical computable structure. In particular, for a Turing degree d, we investigate the groups of d -computable
more » ... orphisms of the lattice of d-computably enumerable vector spaces, of the interval Boolean algebra B_η of the ordered set of rationals, and of the lattice of d -computably enumerable subalgebras of B_η. For these groups we show that Turing reducibility can be used to substitute the group-theoretic embedding. We also prove that the Turing degree of the isomorphism types for these groups is the second Turing jump of d , d^".
arXiv:1811.01224v1 fatcat:kzgwkxfhgfg3zgdtzu4w3zxgs4