Intuitionism and computing with partial information
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917515270029312 |
|---|---|
| author | Ganchev, Hristo Shafer, Paul Slaman, Theodore A. Sorbi, Andrea Soskova, Mariya I. |
| author_facet | Ganchev, Hristo Shafer, Paul Slaman, Theodore A. Sorbi, Andrea Soskova, Mariya I. |
| contents | There exist initial segments of both the Dyment lattice and the Dyment-Muchnik lattice that yield Brouwer algebras modeling exactly the intuitionistic propositional calculus. For the Dyment-Muchnik lattice, this result is obtained by constructing a splitting class of enumeration degrees. In contrast, the full Dyment lattice and the full Dyment-Muchnik lattice model the intuitionistic propositional calculus plus the weak law of excluded middle. We also observe that certain naturally definable classes of enumeration degrees, which are downwards closed under enumeration reducibility, fail to form splitting classes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_20841 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Intuitionism and computing with partial information Ganchev, Hristo Shafer, Paul Slaman, Theodore A. Sorbi, Andrea Soskova, Mariya I. Logic 03B20, 03D30, 03G10, 06D20 There exist initial segments of both the Dyment lattice and the Dyment-Muchnik lattice that yield Brouwer algebras modeling exactly the intuitionistic propositional calculus. For the Dyment-Muchnik lattice, this result is obtained by constructing a splitting class of enumeration degrees. In contrast, the full Dyment lattice and the full Dyment-Muchnik lattice model the intuitionistic propositional calculus plus the weak law of excluded middle. We also observe that certain naturally definable classes of enumeration degrees, which are downwards closed under enumeration reducibility, fail to form splitting classes. |
| title | Intuitionism and computing with partial information |
| topic | Logic 03B20, 03D30, 03G10, 06D20 |
| url | https://arxiv.org/abs/2605.20841 |