Optimal Proofs of Determinacy
From MaRDI portal
Publication:4858806
DOI10.2307/421159zbMath0835.03017OpenAlexW1971511826MaRDI QIDQ4858806
Publication date: 19 December 1995
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0103-toc.htm
Related Items (23)
The determinacy of Blackwell games ⋮ OPTIMAL PROOFS OF DETERMINACY II ⋮ Determinacy from strong reflection ⋮ Turing Determinacy and Suslin sets ⋮ Preserving levels of projective determinacy by tree forcings ⋮ Long games and \(\sigma \)-projective sets ⋮ Forcing the Σ31-separation property ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ Determinacy axioms and large cardinals ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ Σ1(κ)-DEFINABLE SUBSETS OF H(κ+) ⋮ The consistency strength of successive cardinals with the tree property ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Pure mathematics and physical reality (continuity and computability) ⋮ Thin equivalence relations and inner models ⋮ Unbounded and dominating reals in Hechler extensions ⋮ A boundedness lemma for iterations ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ Core models in the presence of Woodin cardinals ⋮ On supercompactness of \(\omega_1\) ⋮ IN INNER MODELS WITH WOODIN CARDINALS ⋮ On the Prewellorderings Associated with the Directed Systems of Mice ⋮ The AD+ conjecture and the continuum hypothesis
Cites Work
This page was built for publication: Optimal Proofs of Determinacy
