The uniqueness of the core model
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |