Singularizing successor cardinals by forcing

DOI10.1090/PROC/13784MaRDI QIDQ4596006zbMATH OpenOpenAlexFDO

Authors Dominik Adolf, Arthur W. Apter, Peter Koepke

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

Prikry forcingmeasurable cardinalsupercompact cardinalstrongly compact cardinalcore modelconsistency strengthWoodin cardinalNamba forcingsingularization

Mathematics Subject Classification ID

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

Recommendations

• Singularizing cardinals
• Successors of singular cardinals and measurability
• A framework for forcing constructions at successors of singular cardinals
• Extender based forcings
• Approachability at the second successor of a singular cardinal

Cites work

• scientific article; zbMATH DE number 3529851 (Why is no real title available?)
• scientific article; zbMATH DE number 3568689 (Why is no real title available?)
• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• scientific article; zbMATH DE number 2121504 (Why is no real title available?)
• scientific article; zbMATH DE number 3414295 (Why is no real title available?)
• Applications of the Covering Lemma for Sequences of Measures
• Can a large cardinal be forced from a condition implying its negation?
• Changing cofinalities and the nonstationary ideal
• Covering theorems for the core model, and an application to stationary set reflection
• More notions of forcing add a Souslin tree
• On the singular cardinals problem. I
• Partition properties and Prikry forcing on simple spaces
• Relative consistency results via strong compactness
• Set Theory
• Silver type theorems for collapses
• Subcomplete forcing and \(\mathcal{L}\)-forcing
• \(K\) without the measurable

Cited in

(11)

• Approachability at the second successor of a singular cardinal
• A restriction on the first successor cardinal which is Jonsson
• Successors of singulars, cofinalities of reduced products of cardinals and productivity of chain conditions
• More notions of forcing add a Souslin tree
• A framework for forcing constructions at successors of singular cardinals
• Singularizing cardinals
• Singular cardinals and strong extenders
• Forcing axioms via ground model interpretations
• Successors of singular cardinals and coloring theorems II
• Successive weakly compact or singular cardinals
• Successor of singulars: Combinatorics and not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4596006)