Degrees of bi-embeddable categoricity
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 as the family of Turing degrees that compute embeddings between any computable bi-embeddable copies of ; the degree of bi-embeddable categoricity of 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 for a computable successor ordinal and for 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.
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