Nonembeddings of Combinatory Algebras

Patrick Lutz, Paul Shafer, Sebastiaan A. Terwijn

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 e…