PFA implies ADL(ℝ)

DOI10.2178/JSL/1129642125MaRDI QIDQ5486251zbMATH OpenOpenAlexWikidataFDO

Authors John Steel

Publication date 6 September 2006

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

Full work available at URL https://doi.org/10.2178/jsl/1129642125

zbMATH Keywords

\(\text{AD}^{L(\mathbb R)}\)core modellimit cardinalProper Forcing Axiom

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Recommendations

• Covering with universally Baire operators
• PFA and guessing models
• The strength of \(\mathrm{PFA}(\aleph_2)\) plus a precipitous ideal on \(\omega_1\) and Namba-like forcings
• The strength of choiceless patterns of singular and weakly compact cardinals
• On the consistency strength of the proper forcing axiom

Cites work

• A new condensation principle
• Cabal Seminar 79-81. Proceedings, Caltech-UCLA Logic Seminar 1979-81
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• Inner models with many Woodin cardinals
• Projectively well-ordered inner models
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The domestic levels of K^c are iterable
• The maximality of the core model
• Weak covering without countable closure

Cited in

(36)

• The strength of choiceless patterns of singular and weakly compact cardinals
• \(L(\mathbb{R}, \mu)\) is unique
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Structural relativity and informal rigour
• The envelope of a pointclass under a local determinacy hypothesis
• Higher Souslin trees and the GCH, revisited
• Coherent sequences and threads
• Definable MAD families and forcing axioms
• Determinacy from strong compactness of \(\omega_1\)
• Descriptive inner model theory
• Rado's conjecture implies that all stationary set preserving forcings are semiproper
• K without the measurable
• On the prewellorderings associated with the directed systems of mice
• Nontame mouse from the failure of square at a singular strong limit cardinal
• Determinacy in \(L(\mathbb{R}, \mu)\)
• Hod mice and the mouse set conjecture
• Combinatorial Dichotomies in Set Theory
• Determinacy from strong reflection
• A brief account of recent developments in inner model theory
• Baire reflection
• Covering with universally Baire operators
• The strength of \(\mathrm{PFA}(\aleph_2)\) plus a precipitous ideal on \(\omega_1\) and Namba-like forcings
• Downward transference of mice and universality of local core models
• PFA and guessing models
• Souslin quasi-orders and bi-embeddability of uncountable structures
• CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS
• Topological interpretations of provability logic
• The AD+ conjecture and the continuum hypothesis
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• Ideals and strong axioms of determinacy
• Forcing axioms and the uniformization-property
• Ladders and squares
• Gödel's program in set theory
• Topological basis problem under determinacy
• \(\mathsf{AD}^+\) implies \(\omega_1\) is a club \(\Theta\)-Berkeley cardinal
• The global \({\Sigma}_{n + 2}^1\)-uniformization property and \(\mathsf{BPFA} \)

This page was built for publication: PFA implies AD^L(ℝ)

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