Small measurable cardinals
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917418437181440 |
|---|---|
| author | Hayut, Yair Karagila, Asaf |
| author_facet | Hayut, Yair Karagila, Asaf |
| contents | We continue the work from [8] and make a small -- but significant -- improvement to the definition of $j$-decomposable system. This provides us with a better lifting of elementary embeddings to symmetric extensions. In particular, this allows us to more easily lift weakly compact embeddings and thus preserve the notion of weakly critical cardinals. We use this improved lifting criterion to show that the first measurable cardinal can be the first weakly critical cardinal or the first Mahlo cardinal, both relative to the existence of a single measurable cardinal. However, if the first inaccessible cardinal is the first measurable cardinal, then in a suitable inner model it has Mitchell order of at least $2$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2212_07973 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Small measurable cardinals Hayut, Yair Karagila, Asaf Logic 03E25 (Primary), 03E55, 03E35 (Secondary) We continue the work from [8] and make a small -- but significant -- improvement to the definition of $j$-decomposable system. This provides us with a better lifting of elementary embeddings to symmetric extensions. In particular, this allows us to more easily lift weakly compact embeddings and thus preserve the notion of weakly critical cardinals. We use this improved lifting criterion to show that the first measurable cardinal can be the first weakly critical cardinal or the first Mahlo cardinal, both relative to the existence of a single measurable cardinal. However, if the first inaccessible cardinal is the first measurable cardinal, then in a suitable inner model it has Mitchell order of at least $2$. |
| title | Small measurable cardinals |
| topic | Logic 03E25 (Primary), 03E55, 03E35 (Secondary) |
| url | https://arxiv.org/abs/2212.07973 |