Abstract:
We obtain exact estimates in the arithmetical and analytical hierarchies of index sets of various classes of automatic models. We also obtain estimates for the existence problems for computable isomorphism and embedding of automatic structures.
Keywords:automatic model, index set, computable isomorphism problem, uniformity, universality.