The uniqueness of the core model
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866929685410086912 |
|---|---|
| author | Siskind, Benjamin |
| author_facet | Siskind, Benjamin |
| contents | The Jensen-Steel core model is a canonical inner model which plays a fundamental role in the meta-mathematics of set theory. Its definition depends on exactly which hierarchy of fine-structural models of set theory, premice, one uses. Each such hierarchy involves somewhat arbitrary decisions and working with different hierarchies ostensibly leads to different versions of the core model. We show that in some contexts, abstract properties of the core model uniquely determine it; that is, there is at most one inner model with these properties. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_14076 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The uniqueness of the core model Siskind, Benjamin Logic The Jensen-Steel core model is a canonical inner model which plays a fundamental role in the meta-mathematics of set theory. Its definition depends on exactly which hierarchy of fine-structural models of set theory, premice, one uses. Each such hierarchy involves somewhat arbitrary decisions and working with different hierarchies ostensibly leads to different versions of the core model. We show that in some contexts, abstract properties of the core model uniquely determine it; that is, there is at most one inner model with these properties. |
| title | The uniqueness of the core model |
| topic | Logic |
| url | https://arxiv.org/abs/2501.14076 |