Determinacy from strong reflection

DOI10.1090/S0002-9947-2013-06058-8zbMath1359.03038MaRDI QIDQ3190425

S. Zoble, J. R. Steel

Publication date: 17 September 2014

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

determinacystationary reflectionnonstationary ideal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Related Items (5)

What makes the continuum ℵ₂ ⋮ NOTE ON IMPLYING ⋮ A brief account of recent developments in inner model theory ⋮ PFA and guessing models ⋮ The AD+ conjecture and the continuum hypothesis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Descriptive set theory
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Generic relativizations of fine structure
• Large cardinals and definable counterexamples to the continuum hypothesis
• Stationary Sets
• An Outline of Inner Model Theory
• The self-iterability of L[E]
• Equivalence of partition properties and determinacy
• A Proof of Projective Determinacy
• Projective Stationary Sets and a Strong Reflection Principle
• OPTIMAL PROOFS OF DETERMINACY II
• Optimal Proofs of Determinacy
• Stationary reflection and the universal Baire property
• PFA implies AD^L(ℝ)

This page was built for publication: Determinacy from strong reflection