Martin's maximum and tower forcing

DOI10.1007/S11856-013-0004-0zbMath1306.03024arXiv1110.1584OpenAlexW2058234343MaRDI QIDQ375784

Matteo Viale, Sean D. Cox

Publication date: 31 October 2013

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1110.1584

zbMATH Keywords

internally club setMartin's maximum (MM)precipitous towerpresaturated towerproper forcing axiom (PFA)reflection principle (RR)strong reflection principle (SRP)tower of ideals

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40) Generic absoluteness and forcing axioms (03E57)

Related Items (2)

GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS ⋮ Prevalence of Generic Laver Diamond

Cites Work

• Unnamed Item
• Unnamed Item
• Guessing models and generalized Laver diamond
• The combinatorial essence of supercompactness
• On the consistency strength of the proper forcing axiom
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Forcing axioms and stationary sets
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Large cardinals and definable counterexamples to the continuum hypothesis
• Ideals and Generic Elementary Embeddings
• Some Second Order Set Theory
• Nonsplitting subset of _κ(κ⁺)
• Local Clubs, Reflection, and Preserving Stationary Sets
• Projective Stationary Sets and a Strong Reflection Principle
• Precipitous towers of normal filters
• A new Löwenheim-Skolem theorem
• IDEAL PROJECTIONS AND FORCING PROJECTIONS

This page was built for publication: Martin's maximum and tower forcing