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
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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
