The proper forcing axiom and the singular cardinal hypothesis

DOI10.2178/jsl/1146620153zbMath1098.03053arXivmath/0509633OpenAlexW1973266799WikidataQ114005172 ScholiaQ114005172MaRDI QIDQ5480618

Matteo Viale

Publication date: 3 August 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Other set-theoretic hypotheses and axioms (03E65) Ordinal and cardinal numbers (03E10)

Related Items

Covering properties and square principles ⋮ Squares and covering matrices ⋮ A cardinal preserving extension making the set of points of countable \(V\) cofinality nonstationary ⋮ What makes the continuum ℵ₂ ⋮ Aronszajn trees, square principles, and stationary reflection ⋮ Sigma-Prikry forcing. III: Down to \(\aleph_{\omega}\) ⋮ An axiomatic approach to forcing and generic extensions ⋮ Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics ⋮ Simple proofs of SCH from reflection principles without using better scales ⋮ Almost strong properness ⋮ Some consequences of reflection on the approachability ideal ⋮ ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS ⋮ Forcing the mapping reflection principle by finite approximations ⋮ Martin’s maximum and weak square ⋮ Guessing models imply the singular cardinal hypothesis

Cites Work

• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Forcing axioms and stationary sets
• Blowing up power of a singular cardinal -- wider gaps
• Indexed squares
• Fragments of Martin's Maximum in generic extensions
• SET MAPPING REFLECTION