A Proof of Projective Determinacy
From MaRDI portal
Publication:3820593
DOI10.2307/1990913zbMath0668.03021OpenAlexW4249944160WikidataQ55954150 ScholiaQ55954150MaRDI QIDQ3820593
Publication date: 1989
Full work available at URL: https://doi.org/10.2307/1990913
Related Items (67)
The Continuum Hypothesis ⋮ IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES ⋮ Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model ⋮ Projectively well-ordered inner models ⋮ Instances of dependent choice and the measurability of \(\aleph _{\omega +1}\) ⋮ The consistency strength of projective absoluteness ⋮ Large cardinals and definable counterexamples to the continuum hypothesis ⋮ Determinacy from strong reflection ⋮ The large cardinal strength of weak Vopenka’s principle ⋮ Polynomial games and determinacy ⋮ Double helix in large large cardinals and iteration of elementary embeddings ⋮ About splitting numbers ⋮ Model theoretic characterizations of large cardinals ⋮ Set theory and the analyst ⋮ Proving Theorems from Reflection ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ Forcing revisited ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ Pointwise Arbitrage Pricing Theory in Discrete Time ⋮ \(C ^{(n)}\)-cardinals ⋮ Determinacy axioms and large cardinals ⋮ Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization ⋮ PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES ⋮ Continuity of coordinate functionals of filter bases in Banach spaces ⋮ Elementary chains and \(C ^{(n)}\)-cardinals ⋮ Forcing, Multiverse and Realism ⋮ Coherent sequences and threads ⋮ Projecting precipitousness ⋮ A brief account of recent developments in inner model theory ⋮ Large cardinals and iteration trees of height \(\omega\) ⋮ Homogeneity for Open Partitions of Pairs of Reals ⋮ Woodin cardinals and presaturated ideals ⋮ Projective games on the reals ⋮ The left distributive law and the freeness of an algebra of elementary embeddings ⋮ Iteration Trees ⋮ Some new upper bounds in consistency strength for certain choiceless large cardinal patterns ⋮ Inner models from extended logics: Part 1 ⋮ On reflection principles ⋮ Sets and supersets ⋮ Thin equivalence relations and inner models ⋮ An Easton like theorem in the presence of Shelah cardinals ⋮ Bounds on the strength of ordinal definable determinacy in small admissible sets ⋮ On Martin’s pointed tree theorem ⋮ Determinate logic and the axiom of choice ⋮ Regular variation without limits ⋮ Coding by club-sequences ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Generic Embeddings and the Failure of Box ⋮ How to win some simple iteration games ⋮ Strong cardinals in the core model ⋮ Large cardinals and locally defined well-orders of the universe ⋮ Iteration of Souslin forcing, projective measurability and the Borel conjecture ⋮ Long Borel games ⋮ The strength of choiceless patterns of singular and weakly compact cardinals ⋮ Projective absoluteness for Sacks forcing ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ Filter games and pathological subgroups of a countable product of lines ⋮ PROVABLY GAMES ⋮ Unraveling \(\boldsymbol\Pi_1^1\) sets ⋮ The wholeness axiom and Laver sequences ⋮ Homogeneously Souslin sets in small inner models ⋮ Large cardinals, inner models, and determinacy: an introductory overview ⋮ On the \(c_0\)-extension property for compact lines ⋮ When a relation with all Borel sections will be Borel somewhere? ⋮ A Lipschitz determinacy principle equivalent to weak König lemma ⋮ The maximality of the core model
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Descriptive set theory
- A basis theorem for \(\sum^ 1_ 3\) sets of reals
- Axiom schemata of strong infinity in axiomatic set theory
- Projective determinacy
- Supercompact cardinals, sets of reals, and weakly homogeneous trees
- Iteration Trees
- Measurable cardinals and analytic games
This page was built for publication: A Proof of Projective Determinacy
