English

A Note on Computable Embeddings for Ordinals and Their Reverses

Logic 2020-09-03 v2

Abstract

We continue the study of 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 although {ω2,ω2}\{\omega \cdot 2, \omega^\star \cdot 2\} is computably embeddable in {ω2,(ω2)}\{\omega^2, {(\omega^2)}^\star\}, the class {ωk,ωk}\{\omega \cdot k,\omega^\star \cdot k\} is \emph{not} computably embeddable in {ω2,(ω2)}\{\omega^2, {(\omega^2)}^\star\} for any natural number k3k \geq 3.

Keywords

Cite

@article{arxiv.2001.06204,
  title  = {A Note on Computable Embeddings for Ordinals and Their Reverses},
  author = {Nikolay Bazhenov and Stefan Vatev},
  journal= {arXiv preprint arXiv:2001.06204},
  year   = {2020}
}

Comments

13 pages, accepted to CiE 2020

R2 v1 2026-06-23T13:13:46.077Z