Partial Tower Sealing
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914184907718656 |
|---|---|
| author | Sargsyan, Grigor Trang, Nam |
| author_facet | Sargsyan, Grigor Trang, Nam |
| contents | The main result of this paper shows that a weak form of Tower Sealing holds in a generic extension of hod mice with a strong cardinal and a proper class of Woodin cardinals. We show Tower Sealing fails in such extensions in general. We show that this weak form of Tower Sealing (called Partial Tower Sealing) implies Sealing and that its consistency strength is below that of ZFC + there is a Woodin limit of Woodin cardinals. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_06323 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Partial Tower Sealing Sargsyan, Grigor Trang, Nam Logic 03E15, 03E45, 03E60 The main result of this paper shows that a weak form of Tower Sealing holds in a generic extension of hod mice with a strong cardinal and a proper class of Woodin cardinals. We show Tower Sealing fails in such extensions in general. We show that this weak form of Tower Sealing (called Partial Tower Sealing) implies Sealing and that its consistency strength is below that of ZFC + there is a Woodin limit of Woodin cardinals. |
| title | Partial Tower Sealing |
| topic | Logic 03E15, 03E45, 03E60 |
| url | https://arxiv.org/abs/2512.06323 |