BPFA and inner models

DOI10.4288/JAFPOS.19.0_29MaRDI QIDQ2837230zbMATH OpenOpenAlexFDO

Authors Sy-David Friedman

Publication date 10 July 2013

Published in Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4288/jafpos.19.0_29

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Generic absoluteness and forcing axioms (03E57)

Recommendations

• The bounded proper forcing axiom
• Definable MAD families and forcing axioms
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• The bounded proper forcing axiom and well orderings of the reals
• The proper forcing axiom and stationary set reflection

Cited in

(8)

• Two applications of finite side conditions at \(\omega _2\)
• Forcing with sequences of models of two types
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• The bounded Axiom A forcing axiom
• BPFA and projective well-orderings of the reals
• A Model of TFP
• Foundational implications of the inner model hypothesis
• Downward transference of mice and universality of local core models

This page was built for publication: BPFA and inner models

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