Analytic determinacy and 0#
From MaRDI portal
Publication:4182737
DOI10.2307/2273508zbMath0398.03039OpenAlexW2004845705WikidataQ30040174 ScholiaQ30040174MaRDI QIDQ4182737
Publication date: 1978
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273508
Descriptive set theory (03E15) Higher-type and set recursion theory (03D65) Determinacy principles (03E60)
Related Items
OPTIMAL PROOFS OF DETERMINACY II ⋮ A New Proof of Friedman's Conjecture ⋮ The axiom of determinacy and the modern development of descriptive set theory ⋮ Infinite games specified by 2-tape automata ⋮ An extension of Borel determinacy ⋮ More on Wadge determinacy ⋮ A Π¹₁-uniformization principle for reals ⋮ Equivalence relations and determinacy ⋮ Preserving levels of projective determinacy by tree forcings ⋮ Long games and \(\sigma \)-projective sets ⋮ \(\Pi_ 2^ 1\) Wadge degrees ⋮ Determinacy in the difference hierarchy of co-analytic sets ⋮ CONSTRUCTING WADGE CLASSES ⋮ Forcing a set model of Z3 + Harrington's Principle ⋮ The strong reflecting property and Harrington's Principle ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ Set theory and the analyst ⋮ ASSIGNING AN ISOMORPHISM TYPE TO A HYPERDEGREE ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ Precipitous ideals and \(\sum^1_4\) sets ⋮ Optimal Proofs of Determinacy ⋮ Determinacy axioms and large cardinals ⋮ Equivalence between Wadge and Lipschitz determinacy ⋮ Foundational implications of the inner model hypothesis ⋮ On the necessary use of abstract set theory ⋮ Two Applications of Inner Model Theory to the Study of Sets ⋮ Projective subsets of separable metric spaces ⋮ Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy ⋮ Polish group actions: Dichotomies and generalized elementary embeddings ⋮ Thin equivalence relations and inner models ⋮ Bounds on the strength of ordinal definable determinacy in small admissible sets ⋮ Determinacy and the sharp function on the reals ⋮ On Martin’s pointed tree theorem ⋮ Topics in invariant descriptive set theory ⋮ A recursion theoretic property of $\mathbf {\Sigma ^1_1}$ equivalence relations ⋮ Representing Projective Sets as Unions of Borel Sets ⋮ On disjoint Borel uniformizations ⋮ Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\) ⋮ Long Borel games ⋮ A theorem about Σ¹₁ equivalence relations ⋮ Determinacy and the sharp function on the reals ⋮ Degree-invariant, analytic equivalence relations without perfectly many classes ⋮ A functorial \(\pi ^ 1_ 2\) singleton ⋮ Turing determinacy and the continuum hypothesis ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ Structure of constituents of \(\Pi^ 1_ 1\)-sets ⋮ ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE ⋮ Representation of Borel Isomorphism by a Probability Measure ⋮ How Woodin changed his mind: new thoughts on the continuum hypothesis ⋮ Large cardinals, inner models, and determinacy: an introductory overview ⋮ Point Degree Spectra of Represented Spaces ⋮ SHORTENING CLOPEN GAMES ⋮ A Lipschitz determinacy principle equivalent to weak König lemma ⋮ Uniformity, universality, and computability theory ⋮ On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words ⋮ Vaught’s conjecture and the Glimm-Effros property for Polish transformation groups ⋮ Two Consequences of Determinacy Consistent with Choice
Cites Work
