PFA implies ADL(ℝ)

DOI10.2178/jsl/1129642125zbMath1103.03047OpenAlexW2043313700WikidataQ30040097 ScholiaQ30040097MaRDI QIDQ5486251

J. R. 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

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

Mathematics Subject Classification ID

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

Related Items (28)

Determinacy from strong reflection ⋮ Higher Souslin trees and the GCH, revisited ⋮ Definable MAD families and forcing axioms ⋮ Determinacy from strong compactness of \(\omega_1\) ⋮ Hod mice and the Mouse Set Conjecture ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ \(L(\mathbb{R}, \mu)\) is unique ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Covering with universally Baire operators ⋮ Baire reflection ⋮ Coherent sequences and threads ⋮ A brief account of recent developments in inner model theory ⋮ PFA and guessing models ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Combinatorial Dichotomies in Set Theory ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ The strength of choiceless patterns of singular and weakly compact cardinals ⋮ Descriptive inner model theory ⋮ Structural relativity and informal rigour ⋮ RADO'S CONJECTURE IMPLIES THAT ALL STATIONARY SET PRESERVING FORCINGS ARE SEMIPROPER ⋮ Topological Interpretations of Provability Logic ⋮ KWithout the Measurable ⋮ On the Prewellorderings Associated with the Directed Systems of Mice ⋮ The envelope of a pointclass under a local determinacy hypothesis ⋮ Nontame mouse from the failure of square at a singular strong limit cardinal ⋮ Determinacy in L(ℝ, μ) ⋮ The AD+ conjecture and the continuum hypothesis

Cites Work

• Unnamed Item
• Unnamed Item
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Inner models with many Woodin cardinals
• A new condensation principle
• Cabal Seminar 79-81. Proceedings, Caltech-UCLA Logic Seminar 1979-81
• Projectively well-ordered inner models
• Weak covering without countable closure
• The maximality of the core model
• The domestic levels of \(K^c\) are iterable

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