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 is computably embeddable in , the class is \emph{not} computably embeddable in for any natural number .
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