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
strongly compact cardinalmeasurable cardinalconsistency strengthcore modelsupercompact cardinalPrikry forcingWoodin cardinalNamba forcingsingularization
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)
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