组合代数的非嵌入
Nonembeddings of Combinatory Algebras
University of Michigan（密歇根大学）；Radboud University Nijmegen（奈梅亨拉德堡德大学）
AI总结：
研究了Kleene第二模型、van Oosten模型和Scott图模型之间的嵌入关系，证明这些嵌入不可逆，并讨论了有效版本的非嵌入结果及相对嵌入。
摘要：
在组合代数理论中，存在Kleene第二模型、van Oosten模型和Scott图模型之间的嵌入序列。我们证明这些嵌入不可逆。我们还证明了这些模型的有效版本的非嵌入结果，并进一步讨论了相对嵌入。这回答了文献中的几个问题。
英文摘要：
In the theory of combinatorial algebras, there is a sequence of embeddings between Kleene's second model, van Oosten's model, and Scott's graph model. We prove that none of these embeddings can be reversed. We also prove nonembedding results for the effective versions of these models, and in addition we discuss relativized embeddings. This answers several questions from the literature.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
