English

Degrees of bi-embeddable categoricity of equivalence structures

Logic 2021-03-16 v1

Abstract

We study the algorithmic complexity of embeddings between bi-embeddable equivalence structures. We define the notions of computable bi-embeddable categoricity, (relative) Δα0\Delta^0_\alpha bi-embeddable categoricity, and degrees of bi-embeddable categoricity. These notions mirror the classical notions used to study the complexity of isomorphisms between structures. We show that the notions of Δα0\Delta^0_\alpha bi-embeddable categoricity and relative Δα0\Delta^0_\alpha bi-embeddable categoricity coincide for equivalence structures for α=1,2,3\alpha=1,2,3. We also prove that computable equivalence structures have degree of bi-embeddable categoricity 0,0\mathbf{0},\mathbf{0}', or 0\mathbf{0}''. We obtain results on index sets of computable equivalence structure with respect to bi-embeddability.

Keywords

Cite

@article{arxiv.1710.10927,
  title  = {Degrees of bi-embeddable categoricity of equivalence structures},
  author = {Nikolay Bazhenov and Ekaterina Fokina and Dino Rossegger and Luca San Mauro},
  journal= {arXiv preprint arXiv:1710.10927},
  year   = {2021}
}

Comments

18 pages