Computable embeddings for pairs of linear orders
Logic
2023-11-09 v4
Abstract
We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree structure. Our main result shows that is computably embeddable in iff divides .
Cite
@article{arxiv.1901.01933,
title = {Computable embeddings for pairs of linear orders},
author = {Nikolay Bazhenov and Hristo Ganchev and Stefan Vatev},
journal= {arXiv preprint arXiv:1901.01933},
year = {2023}
}
Comments
20 pages