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) 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 bi-embeddable categoricity and relative bi-embeddable categoricity coincide for equivalence structures for . We also prove that computable equivalence structures have degree of bi-embeddable categoricity , or . 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