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

DOI10.4007/ANNALS.2021.193.3.3zbMATH Open1496.03203OpenAlexW3159191542WikidataQ113999272 ScholiaQ113999272MaRDI QIDQ2028503FDOQ2028503

David Asperó, Ralf 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)

Cites Work

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

Cited In (8)

• Incompatible bounded category forcing axioms
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• How many real numbers are there?
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Martin's maximum and definability in \(H(\aleph_2\))
• Boolean valued semantics for infinitary logics
• Forcing axioms and the complexity of non-stationary ideals
• Square principles in \(\mathbb{P}_{\max}\) extensions

This page was built for publication: Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)

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