Bounded Martin's maximum with an asterisk

DOI10.1215/00294527-2688051zbMath1338.03101OpenAlexW2011143411MaRDI 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

zbMATH Keywords

\(\mathbb{P}_{\max}\)\(\mathbf{BMM}^{*}\)honestly consistent statement

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Determinacy principles (03E60) Generic absoluteness and forcing axioms (03E57)

Related Items (2)

Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)

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 ω₁
• An Outline of Inner Model Theory
• Forcing over Models of Determinacy
• Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
• Increasing u₂ by a stationary set preserving forcing
• The bounded proper forcing axiom

This page was built for publication: Bounded Martin's maximum with an asterisk