Hierarchies of forcing axioms I

DOI10.2178/jsl/1208358756zbMath1154.03032MaRDI QIDQ5387315

Itay Neeman, Ernest Schimmerling

Publication date: 8 May 2008

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1208358756

zbMATH Keywords

proper forcing axiom; semi-proper forcing axiom; indescribable cardinal; subcompact cardinal

Mathematics Subject Classification ID

03E55: Large cardinals

03E40: Other aspects of forcing and Boolean-valued models

Related Items

Global square sequences in extender models, On the consistency strength of the proper forcing axiom, A generalization of Martin's axiom, Resurrection axioms and uplifting cardinals, A quasi-lower bound on the consistency strength of PFA, The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃

Cites Work

• Unnamed Item
• Unnamed Item
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
• Forcing axioms and stationary sets
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The lottery preparation
• Coherent sequences and threads
• Square in Core Models
• Semiproper forcing axiom implies Martin maximum but not PFA⁺
• Hierarchies of forcing axioms II
• Multiple Forcing