Singularizing successor cardinals by forcing

DOI10.1090/PROC/13784zbMATH Open1477.03202OpenAlexW2766477466MaRDI QIDQ4596006FDOQ4596006

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

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

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)

Cites Work

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

Cited In (10)

• Approachability at the second successor of a singular cardinal
• Successors of singular cardinals and coloring theorems II
• Successor of singulars: Combinatorics and not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations
• 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
• A restriction on the first successor cardinal which is Jonsson
• Singular cardinals and strong extenders
• Successive weakly compact or singular cardinals
• Forcing axioms via ground model interpretations

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)