2000 character limit reached
Partial Tower Sealing (2512.06323v1)
Published 6 Dec 2025 in math.LO
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.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.