Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2501.14076 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |