Bounded Martin's maximum with an asterisk
From MaRDI portal
Publication:740201
DOI10.1215/00294527-2688051zbMath1338.03101MaRDI QIDQ740201
David Asperó, Ralf-Dieter Schindler
Publication date: 2 September 2014
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1406034050
03E35: Consistency and independence results
03E55: Large cardinals
03E60: Determinacy principles
03E57: Generic absoluteness and forcing axioms
Cites Work
- Unnamed Item
- Martin's maximum and definability in \(H(\aleph_2\))
- \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)
- Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω1
- An Outline of Inner Model Theory
- Forcing over Models of Determinacy
- Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
- Increasing u2 by a stationary set preserving forcing
- The bounded proper forcing axiom