The last forcing standing with diamonds

DOI10.4064/FM898-9-2018zbMATH Open1480.03049OpenAlexW2963152649WikidataQ128138079 ScholiaQ128138079MaRDI QIDQ5226506FDOQ5226506

Authors Andrzej Rosłanowski, S. Shelah

Publication date 31 July 2019

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1406.4217

zbMATH Keywords

forcingnot collapsing cardinalsproper forcing notionsuncountable support iterations

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: This article continues Roslanowski and Shelah math.LO/9906024 and 1105.6049 We introduce here yet another property of (<lambda)-strategically complete forcing notions which implies that their lambda-support iterations do not collapse lambda^+.

Recommendations

• More about \(\lambda \)-support iterations of \((<\lambda)\)-complete forcing notions
• Iteration of \(\lambda\)-complete forcing notions not collapsing \(\lambda^+\)
• On iterated forcing for successors of regular cardinals
• Not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations
• Reasonably complete forcing notions

Cites work

• scientific article; zbMATH DE number 5901944 (Why is no real title available?)
• scientific article; zbMATH DE number 3884145 (Why is no real title available?)
• scientific article; zbMATH DE number 3510298 (Why is no real title available?)
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• Combinatorics on ideals and forcing
• Fusion and large cardinal preservation
• Independence results
• Iteration of \(\lambda\)-complete forcing notions not collapsing \(\lambda^+\)
• Measurable cardinals and the cofinality of the symmetric group
• More about \(\lambda \)-support iterations of \((<\lambda)\)-complete forcing notions
• Not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations
• On iterated forcing for successors of regular cardinals
• On the consistency of Borel's conjecture
• Perfect-set forcing for uncountable cardinals
• Proper forcing
• Proper forcing
• Reasonable ultrafilters, again
• Reasonably complete forcing notions
• Set Theory
• Sheva-sheva-sheva: large creatures
• Some Properties of Measure and Category
• Successor of singulars: Combinatorics and not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations
• The canary tree revisited
• Uncountable superperfect forcing and minimality

Cited in

(4)

• More about \(\lambda \)-support iterations of \((<\lambda)\)-complete forcing notions
• MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES
• Sigma-Prikry forcing. I: The axioms
• HIGHER MILLER FORCING MAY COLLAPSE CARDINALS

This page was built for publication: The last forcing standing with diamonds

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