Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω1

DOI10.2178/jsl/1333566633zbMath1250.03111WikidataQ114005165 ScholiaQ114005165MaRDI QIDQ2892671

Benjamin Claverie, Ralf-Dieter Schindler

Publication date: 19 June 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1333566633

Mathematics Subject Classification ID

03E45: Inner models, including constructibility, ordinal definability, and core models

03E40: Other aspects of forcing and Boolean-valued models

03E57: Generic absoluteness and forcing axioms

Related Items

HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES, DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS, ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS, Canonical fragments of the strong reflection principle, Woodin’s axiom (*), or Martin’s Maximum, or both?, Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺), Compactness versus hugeness at successor cardinals, Weak saturation properties and side conditions, THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS, NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON, How many real numbers are there?, Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom, Consistency strength of higher Chang's conjecture, without CH, Bounded Martin's maximum with an asterisk, On a class of maximality principles, Diagonal reflections on squares, Virtual large cardinals, Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\), In memoriam: James Earl Baumgartner (1943--2011)

Cites Work

• \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings
• A criterion for coarse iterability
• The strength of choiceless patterns of singular and weakly compact cardinals
• Iterated forcing and normal ideals on \(\omega _ 1\)
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Bounded forcing axioms as principles of generic absoluteness
• Projectively well-ordered inner models
• Combinatorial principles in the core model for one Woodin cardinal
• Weak covering without countable closure
• Proper forcing and remarkable cardinals II
• Square in Core Models
• An Outline of Inner Model Theory
• The self-iterability of L[E]
• The maximality of the core model
• The fine structure of the constructible hierarchy
• CHARACTERIZATION OF □_κ IN CORE MODELS