加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本