Sigma-Prikry forcing. I: The axioms

DOI10.4153/S0008414X20000425MaRDI QIDQ5012464zbMATH OpenOpenAlexFDO

Authors Alejandro Poveda, Assaf Rinot, Dima Sinapova

Publication date 24 November 2021

Published in Canadian Journal of Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

extender based Prikry forcingPrikry forcingsingular cardinals hypothesisstationary reflection

Mathematics Subject Classification ID

Ordered sets and their cofinalities; pcf theory (03E04) Consistency and independence results (03E35) Large cardinals (03E55)

Recommendations

• Prikry-forcing and some generalizations
• Prikry forcing at κ⁺ and beyond
• Hybrid Prikry forcing
• The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis
• Changing cofinalities and the nonstationary ideal

Cites work

• A framework for forcing constructions at successors of singular cardinals
• A weak generalization of MA to higher cardinals
• Chain conditions of products, and weakly compact cardinals
• Consistency of the Continuum Hypothesis. (AM-3)
• Diamonds, uniformization
• Extender based forcings
• scientific article; zbMATH DE number 5901944 (Why is no real title available?)
• scientific article; zbMATH DE number 3877173 (Why is no real title available?)
• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• Iterated Cohen extensions and Souslin's problem
• Iterated forcing and elementary embeddings
• Iteration of \(\lambda\)-complete forcing notions not collapsing \(\lambda^+\)
• Knaster and friends. I: Closed colorings and precalibers
• 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 SCH and the approachability property
• Ordinal definable subsets of singular cardinals
• Prikry-type forcings
• Squares, scales and stationary reflection
• Successor of singulars: Combinatorics and not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations
• The failure of diamond on a reflecting stationary set
• The higher infinite. Large cardinals in set theory from their beginnings.
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• The last forcing standing with diamonds
• Universal graphs at the successor of a singular cardinal

Cited in

(12)

• Prikry-type forcing and the set of possible cofinalities
• Reflection and not SCH with overlapping extenders
• The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis
• Set theory. Abstracts from the workshop held January 9--15, 2022
• Hybrid Prikry forcing
• Diagonal Prikry extensions
• Sigma-Prikry forcing II: Iteration Scheme
• STATIONARY REFLECTION AND THE FAILURE OF THE SCH
• Sigma-Prikry forcing. III: Down to \(\aleph_{\omega}\)
• Negating the Galvin property
• Two results on extendible cardinals
• Club stationary reflection and other combinatorial principles at \(\aleph_{ \omega +2}\)

This page was built for publication: Sigma-Prikry forcing. I: The axioms

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