Singularizing successor cardinals by forcing

DOI10.1090/proc/13784zbMath1477.03202OpenAlexW2766477466MaRDI QIDQ4596006

Dominik Adolf, Peter Koepke, Arthur W. Apter

Publication date: 8 December 2017

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/proc/13784

zbMATH Keywords

strongly compact cardinalmeasurable cardinalconsistency strengthcore modelsupercompact cardinalPrikry forcingWoodin cardinalNamba forcingsingularization

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (2)

Forcing axioms via ground model interpretations ⋮ More notions of forcing add a Souslin tree

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Covering theorems for the core model, and an application to stationary set reflection
• Changing cofinalities and the nonstationary ideal
• On the singular cardinals problem. I
• Silver type theorems for collapses
• More notions of forcing add a Souslin tree
• KWithout the Measurable
• Applications of the Covering Lemma for Sequences of Measures
• SUBCOMPLETE FORCING AND ℒ-FORCING
• Partition properties and Prikry forcing on simple spaces
• Relative consistency results via strong compactness
• Set Theory
• Can a large cardinal be forced from a condition implying its negation?

This page was built for publication: Singularizing successor cardinals by forcing