Martin's maximum revisited
From MaRDI portal
Publication:5964938
DOI10.1007/s00153-015-0466-3zbMath1403.03104arXiv1110.1181OpenAlexW1529114395MaRDI QIDQ5964938
Publication date: 2 March 2016
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1110.1181
Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Generic absoluteness and forcing axioms (03E57)
Related Items (5)
On a class of maximality principles ⋮ Incompatible bounded category forcing axioms ⋮ Generic absoluteness and Boolean names for elements of a Polish space ⋮ Second order arithmetic as the model companion of set theory ⋮ Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
Cites Work
- Unnamed Item
- Unnamed Item
- Guessing models and generalized Laver diamond
- All automorphisms of the Calkin algebra are inner
- On the consistency strength of the proper forcing axiom
- A five element basis for the uncountable linear orders
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Set theory. An introduction to independence proofs
- Infinite Abelian groups, Whitehead problem and some constructions
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- Bounded forcing axioms as principles of generic absoluteness
- Generic absoluteness and the continuum
- Resurrection axioms and uplifting cardinals
- Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
- The diagonal reflection principle
- Forcing over Models of Determinacy
- Absoluteness via resurrection
- Set Theory
- THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
- SET MAPPING REFLECTION
This page was built for publication: Martin's maximum revisited