线性序对的可计算嵌入
Computable embeddings for pairs of linear orders
AI总结：
该研究针对恰好含两个不同构结构的结构对的可计算嵌入展开，发现简单线性序对的可计算嵌入也能诱导非平凡度结构，并证明了线性序对集{ω·k,ω⋆·k}与{ω·t,ω⋆·t}间可计算嵌入的充要条件为k整除t。
摘要：
我们研究结构对（即恰好包含两个不同构结构的类）的可计算嵌入。令人意外的是，即便对于部分简单线性序对，可计算嵌入也会诱导出非平凡的度结构。我们的主要结果表明，{ω·k,ω⋆·k}可计算嵌入{ω·t,ω⋆·t}当且仅当k整除t。
英文摘要：
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 $\{ω\cdot k,ω^\star \cdot k\}$ is computably embeddable in $\{ω\cdot t, ω^\star \cdot t\}$ iff $k$ divides $t$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
