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

DOI10.2178/JSL/1333566633MaRDI QIDQ2892671zbMATH OpenOpenAlexWikidataFDO

Authors Benjamin Claverie, Ralf 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

Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45) Generic absoluteness and forcing axioms (03E57)

Recommendations

• The bounded proper forcing axiom
• BPFA and inner models
• The bounded proper forcing axiom and well orderings of the reals
• The tree property at _2 and bounded forcing axioms
• The proper forcing axiom and stationary set reflection

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
• An outline of inner model theory
• Bounded forcing axioms as principles of generic absoluteness
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Combinatorial principles in the core model for one Woodin cardinal
• Iterated forcing and normal ideals on \(\omega _ 1\)
• Projectively well-ordered inner models
• Proper forcing and remarkable cardinals. II
• Square in core models
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The fine structure of the constructible hierarchy
• The maximality of the core model
• The self-iterability of L[E]
• The strength of choiceless patterns of singular and weakly compact cardinals
• Weak covering without countable closure

Cited in

(25)

• 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)
• BPFA and inner models
• 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
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• Canonical fragments of the strong reflection principle
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• 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?
• When cardinals determine the power set: inner models and Härtig quantifier logic
• Consistency strength of higher Chang's conjecture, without CH
• Ideals and strong axioms of determinacy
• Bounded forcing axioms and weak genericity
• Low level definability above large cardinals
• Bounded Martin's maximum with an asterisk
• \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings

This page was built for publication: Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892671)