Completions of Kleene's second model
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912421034065920 |
|---|---|
| author | Terwijn, Sebastiaan A. |
| author_facet | Terwijn, Sebastiaan A. |
| contents | We investigate completions of partial combinatory algebras (pcas), in particular of Kleene's second model $\mathcal{K}_2$ and generalizations thereof. We consider weak and strong notions of embeddability and completion that have been studied before in the literature. It is known that every countable pca can be weakly embedded into $\mathcal{K}_2$, and we generalize this to arbitrary cardinalities by considering generalizations of $\mathcal{K}_2$ for larger cardinals. This emphasizes the central role of $\mathcal{K}_2$ in the study of pcas. We also show that $\mathcal{K}_2$ and its generalizations have strong completions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_14656 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Completions of Kleene's second model Terwijn, Sebastiaan A. Logic in Computer Science Logic We investigate completions of partial combinatory algebras (pcas), in particular of Kleene's second model $\mathcal{K}_2$ and generalizations thereof. We consider weak and strong notions of embeddability and completion that have been studied before in the literature. It is known that every countable pca can be weakly embedded into $\mathcal{K}_2$, and we generalize this to arbitrary cardinalities by considering generalizations of $\mathcal{K}_2$ for larger cardinals. This emphasizes the central role of $\mathcal{K}_2$ in the study of pcas. We also show that $\mathcal{K}_2$ and its generalizations have strong completions. |
| title | Completions of Kleene's second model |
| topic | Logic in Computer Science Logic |
| url | https://arxiv.org/abs/2312.14656 |