Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2605.05462 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909020019752960 |
|---|---|
| author | Duncan, Hope |
| author_facet | Duncan, Hope |
| contents | Taking symmetric extensions can be considered as a generalisation of forcing, which produces a richer multiverse of models with and without the axiom of choice. We can study the structure of this multiverse using modal logic. In particular, we define the concept of of choice-switches, and show any independent system of choice-switches is not itself independent from any standard example of an independent system of buttons. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_05462 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A note on the modal logic of symmetric extensions Duncan, Hope Logic Taking symmetric extensions can be considered as a generalisation of forcing, which produces a richer multiverse of models with and without the axiom of choice. We can study the structure of this multiverse using modal logic. In particular, we define the concept of of choice-switches, and show any independent system of choice-switches is not itself independent from any standard example of an independent system of buttons. |
| title | A note on the modal logic of symmetric extensions |
| topic | Logic |
| url | https://arxiv.org/abs/2605.05462 |