Hierarchies of forcing axioms I
From MaRDI portal
Publication:5387315
DOI10.2178/JSL/1208358756zbMATH Open1154.03032OpenAlexW2144481700MaRDI QIDQ5387315FDOQ5387315
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
Recommendations
Cites Work
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- Title not available (Why is that?)
- The lottery preparation
- Forcing axioms and stationary sets
- Coherent sequences and threads
- Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
- Multiple Forcing
- Square in core models
- Hierarchies of forcing axioms II
- Semiproper forcing axiom implies Martin maximum but not PFA+
- Title not available (Why is that?)
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)