English

Degrees of bi-embeddable categoricity

Logic 2021-03-16 v1

Abstract

We investigate the complexity of embeddings between bi-embeddable structures. In analogy with categoricity spectra, we define the bi-embeddable categoricity spectrum of a structure A\mathcal A as the family of Turing degrees that compute embeddings between any computable bi-embeddable copies of A\mathcal A; the degree of bi-embeddable categoricity of A\mathcal A is the least degree in this spectrum (if it exists). We extend many known results about categoricity spectra to the case of bi-embeddability. In particular, we exhibit structures without degree of bi-embeddable categoricity, and we show that every degree d.c.e. above 0(α)\mathbf{0}^{(\alpha)} for α\alpha a computable successor ordinal and 0(λ)\mathbf{0}^{(\lambda)} for λ\lambda a computable limit ordinal is a degree of bi-embeddable categoricity. We also give examples of families of degrees that are not bi-embeddable categoricity spectra.

Keywords

Cite

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

Comments

18 pages

R2 v1 2026-06-23T10:14:44.555Z