Nonembeddings of Combinatory Algebras
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909043344277504 |
|---|---|
| author | Lutz, Patrick Shafer, Paul Terwijn, Sebastiaan A. |
| author_facet | Lutz, Patrick Shafer, Paul Terwijn, Sebastiaan A. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_14701 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Nonembeddings of Combinatory Algebras Lutz, Patrick Shafer, Paul Terwijn, Sebastiaan A. Logic 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. |
| title | Nonembeddings of Combinatory Algebras |
| topic | Logic |
| url | https://arxiv.org/abs/2605.14701 |