Partial Tower Sealing
Logic
2025-12-09 v1
Abstract
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.
Cite
@article{arxiv.2512.06323,
title = {Partial Tower Sealing},
author = {Grigor Sargsyan and Nam Trang},
journal= {arXiv preprint arXiv:2512.06323},
year = {2025}
}