Determinacy from strong reflection

DOI10.1090/S0002-9947-2013-06058-8MaRDI QIDQ3190425zbMATH OpenFDO

Authors S. Zoble, John Steel

Publication date 17 September 2014

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

Full work available at URL https://doi.org/10.1090/S0002-9947-2013-06058-8

zbMATH Keywords

determinacynonstationary idealstationary reflection

Mathematics Subject Classification ID

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

Cites work

• A Proof of Projective Determinacy
• An outline of inner model theory
• Descriptive set theory
• Equivalence of partition properties and determinacy
• Generic relativizations of fine structure
• scientific article; zbMATH DE number 5368738 (Why is no real title available?)
• scientific article; zbMATH DE number 5504385 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 218608 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• Large cardinals and definable counterexamples to the continuum hypothesis
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Optimal Proofs of Determinacy
• OPTIMAL PROOFS OF DETERMINACY II
• PFA implies AD^L(ℝ)
• Projective Stationary Sets and a Strong Reflection Principle
• Scales in \({\mathbf K}(\mathbb R)\)
• Stationary reflection and the universal Baire property
• Stationary sets
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The self-iterability of L[E]
• Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985.

Cited in

(6)

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

This page was built for publication: Determinacy from strong reflection

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