Martin's maximum and definability in \(H(\aleph_2\))

DOI10.1016/j.apal.2008.06.012zbMath1153.03035OpenAlexW2081677573MaRDI QIDQ958491

Paul B. Larson

Publication date: 5 December 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.06.012

zbMATH Keywords

large cardinalsdefinabilityforcing axioms

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

On a class of maximality principles ⋮ Guessing and non-guessing of canonical functions ⋮ Partition properties for simply definable colourings ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ What makes the continuum ℵ₂ ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms ⋮ Bounded Martin's maximum with an asterisk

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Guessing and non-guessing of canonical functions
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The size of \(\widetilde T\)
• Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)
• Forcing over Models of Determinacy
• The nonstationary ideal in the ℙ_max extension
• Set Theory
• SET MAPPING REFLECTION