Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)

DOI10.4007/annals.2021.193.3.3zbMath1496.03203OpenAlexW3159191542WikidataQ113999272 ScholiaQ113999272MaRDI QIDQ2028503

David Asperó, Ralf-Dieter Schindler

Publication date: 1 June 2021

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4007/annals.2021.193.3.3

zbMATH Keywords

continuum hypothesisforcing axiomsMartin's maximum\(\mathbb{P}_{\max}\) forcingaxiom \((*)\)

Mathematics Subject Classification ID

Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Determinacy principles (03E60) Generic absoluteness and forcing axioms (03E57)

Related Items

Forcing axioms and the complexity of non-stationary ideals ⋮ Incompatible bounded category forcing axioms ⋮ STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Boolean valued semantics for infinitary logics ⋮ How many real numbers are there?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• All automorphisms of the Calkin algebra are inner
• Bounded Martin's maximum with an asterisk
• A five element basis for the uncountable linear orders
• 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
• On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Infinite Abelian groups, Whitehead problem and some constructions
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)
• Measurable cardinals and the continuum hypothesis
• Projectively well-ordered inner models
• Set theory. Exploring independence and truth
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Iterated Cohen extensions and Souslin's problem
• Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
• Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁
• Forcing over Models of Determinacy
• Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
• Two Consequences of Determinacy Consistent with Choice
• Increasing u₂ by a stationary set preserving forcing
• Stacking mice
• A Proof of Projective Determinacy
• Partition Problems in Topology
• Set Theory
• Αll $ℵ_1$-dense sets of reals can be isomorphic
• Foundations of Mathematics
• IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• PFA implies AD^L(ℝ)
• Internal cohen extensions
• SET MAPPING REFLECTION
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• What is Cantor's Continuum Problem?
• Does Mathematics Need New Axioms?