Nonembeddings of Combinatory Algebras
Logic
2026-05-15 v1
Abstract
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.
Cite
@article{arxiv.2605.14701,
title = {Nonembeddings of Combinatory Algebras},
author = {Patrick Lutz and Paul Shafer and Sebastiaan A. Terwijn},
journal= {arXiv preprint arXiv:2605.14701},
year = {2026}
}