Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2204.05774 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909395015696384 |
|---|---|
| author | Holland, James |
| author_facet | Holland, James |
| contents | This work is a part of my upcoming thesis [7]. We establish an equiconsistency between (1) weak indestructibility for all $κ+2$-degrees of strength for cardinals $κ$ in the presence of a proper class of strong cardinals, and (2) a proper class of cardinals that are strong reflecting strongs. We in fact get weak indestructibility for degrees of strength far beyond $κ+2$, well beyond the next inaccessible limit of measurables (of the ground model). One direction is proven using forcing and the other using core model techniques from inner model theory. Additionally, connections between weak indestructibility and the reflection properties associated with Woodin cardinals are discussed. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2204_05774 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Weak Indestructibility and Reflection Holland, James Logic This work is a part of my upcoming thesis [7]. We establish an equiconsistency between (1) weak indestructibility for all $κ+2$-degrees of strength for cardinals $κ$ in the presence of a proper class of strong cardinals, and (2) a proper class of cardinals that are strong reflecting strongs. We in fact get weak indestructibility for degrees of strength far beyond $κ+2$, well beyond the next inaccessible limit of measurables (of the ground model). One direction is proven using forcing and the other using core model techniques from inner model theory. Additionally, connections between weak indestructibility and the reflection properties associated with Woodin cardinals are discussed. |
| title | Weak Indestructibility and Reflection |
| topic | Logic |
| url | https://arxiv.org/abs/2204.05774 |