Analytic determinacy and 0#
From MaRDI portal
Publication:4182737
Cites work
Cited in
(69)- The axiom of determinacy and the modern development of descriptive set theory
- Precipitous ideals and \(\sum^1_4\) sets
- On the necessary use of abstract set theory
- Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy
- Equivalence between Wadge and Lipschitz determinacy
- Bounds on the strength of ordinal definable determinacy in small admissible 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
- A functorial \(\pi ^ 1_ 2\) singleton
- Turing determinacy and the continuum hypothesis
- \(\Pi_ 2^ 1\) Wadge degrees
- Determinacy in the difference hierarchy of co-analytic sets
- Long Borel games
- A Lipschitz determinacy principle equivalent to weak König lemma
- Thin equivalence relations and inner models
- How Woodin changed his mind: new thoughts on the continuum hypothesis
- Large cardinals, inner models, and determinacy: an introductory overview
- Set theory and the analyst
- An extension of Borel determinacy
- Preserving levels of projective determinacy by tree forcings
- Long games and \(\sigma \)-projective sets
- Degree-invariant, analytic equivalence relations without perfectly many classes
- Forcing a set model of \(\mathsf{Z}_3\) + Harrington's principle
- The strong reflecting property and Harrington's Principle
- A new proof of Friedman's conjecture
- Infinite games specified by 2-tape automata
- Two Consequences of Determinacy Consistent with Choice
- A theorem about Σ¹₁ equivalence relations
- Representation of Borel Isomorphism by a Probability Measure
- Vaught’s conjecture and the Glimm-Effros property for Polish transformation groups
- Representing Projective Sets as Unions of Borel Sets
- Polish group actions: Dichotomies and generalized elementary embeddings
- Foundational implications of the inner model hypothesis
- A recursion theoretic property of \(\mathbf{\Sigma ^1_1}\) equivalence relations
- OPTIMAL PROOFS OF DETERMINACY II
- Optimal Proofs of Determinacy
- Two Applications of Inner Model Theory to the Study of Sets
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
- SHORTENING CLOPEN GAMES
- On the expressive power of non-deterministic and unambiguous Petri nets over infinite words
- Equivalence relations and determinacy
- Constructing Wadge classes
- Souslin quasi-orders and bi-embeddability of uncountable structures
- Assigning an isomorphism type to a hyperdegree
- The consistency strength of long projective determinacy
- Analytic equivalence relations satisfying hyperarithmetic-is-recursive
- Uniformity, universality, and computability theory
- A Π¹₁-uniformization principle for reals
- On Martin’s pointed tree theorem
- Point Degree Spectra of Represented Spaces
- Determinacy and the sharp function on the reals
- Topics in invariant descriptive set theory
- Determinacy and the sharp function on the reals
- Determinacy axioms and large cardinals
- Iterated priority arguments in descriptive set theory
- Strong reducibilities and set theory
- Unreachability of inductive-like pointclasses in \(L(\mathbb{R})\)
- Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics
- Hjorth's reflection argument
- Intuitionistic Gödel-Löb without sharps
- Comparing infinitary systems for linear logic with fixed points
- Unreachability of \(\mathbf{ \Gamma }_{\mathbf{2n}+\mathbf{1},\mathbf{m}} \)
- The metamathematics of separated determinacy
- A proof theory of ( -)context-free languages, via non-wellfounded proofs
- The hidden use of new axioms
- A further application of stern absoluteness
- Structure of constituents of \(\Pi^ 1_ 1\)-sets
- More on Wadge determinacy
- Projective subsets of separable metric spaces
This page was built for publication: Analytic determinacy and 0#
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4182737)
