Hierarchies of forcing axioms I

DOI10.2178/JSL/1208358756MaRDI QIDQ5387315zbMATH OpenOpenAlexFDO

Authors 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 axiomsemi-proper forcing axiomindescribable cardinalsubcompact cardinal

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55)

Recommendations

• Hierarchies of forcing axioms II
• Semiproper forcing axiom implies Martin maximum but not PFA⁺
• Hierarchies of forcing axioms, the continuum hypothesis and square principles
• A maximal bounded forcing axiom
• The bounded proper forcing axiom

Cites work

• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• scientific article; zbMATH DE number 3805451 (Why is no real title available?)
• Coherent sequences and threads
• Forcing axioms and stationary sets
• Hierarchies of forcing axioms II
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Multiple Forcing
• Semiproper forcing axiom implies Martin maximum but not PFA⁺
• Square in core models
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The lottery preparation
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions

Cited in

(12)

• Global square sequences in extender models
• Strongly uplifting cardinals and the boldface resurrection axioms
• The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃
• A quasi-lower bound on the consistency strength of PFA
• Hierarchies of forcing axioms II
• A maximal bounded forcing axiom
• Semiproper forcing axiom implies Martin maximum but not PFA⁺
• BOUNDING BY CANONICAL FUNCTIONS, WITH CH
• Resurrection axioms and uplifting cardinals
• A generalization of Martin's axiom
• On the consistency strength of the proper forcing axiom
• Hierarchies of forcing axioms, the continuum hypothesis and square principles

This page was built for publication: Hierarchies of forcing axioms I

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