Martin's maximum and definability in \(H(\aleph_2\))
From MaRDI portal
Publication:958491
DOI10.1016/j.apal.2008.06.012zbMath1153.03035MaRDI QIDQ958491
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
03E35: Consistency and independence results
03E55: Large cardinals
03E65: Other set-theoretic hypotheses and axioms
03E40: Other aspects of forcing and Boolean-valued models
Related Items
Bounded Martin's maximum with an asterisk, Guessing and non-guessing of canonical functions, Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item