2 papers
math.LO2026
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…
cs.LO2025
Completions of Kleene's second model
Sebastiaan A. Terwijn
We investigate completions of partial combinatory algebras (pcas), in particular of Kleene's second model and generalizations thereof. We consider weak and strong n…