English

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 {ωk,ωk}\{\omega \cdot k,\omega^\star \cdot k\} is computably embeddable in {ωt,ωt}\{\omega \cdot t, \omega^\star \cdot t\} iff kk divides tt.

Keywords

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

R2 v1 2026-06-23T07:05:01.843Z