The isomorphism relation between tree-automatic Structures

Olivier Finkel, Stevo Todorčević
2010 Central European Journal of Mathematics  
An ω-tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism problem for ω-tree-automatic structures. We prove first that the isomorphism relation for ω-tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n >1) is not determined by the axiomatic system ZFC. Then we prove
more » ... the isomorphism problem for ω-tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n >1) is neither a Σ_2^1-set nor a Π_2^1-set.
doi:10.2478/s11533-010-0014-7 fatcat:kkwhax72szc55dsey7xzeehcbi