The effective theory of Borel equivalence relations

DOI10.1016/j.apal.2009.10.002zbMath1223.03031arXiv0907.0802OpenAlexW2062892167MaRDI QIDQ636325

Sy-David Friedman, Ekaterina B. Fokina, Asger Törnquist

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0907.0802

zbMATH Keywords

Borel reducibilitydichotomy theoremshyperarithmetic equivalence relations

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other degrees and reducibilities in computability and recursion theory (03D30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (16)

Implicit definability in arithmetic ⋮ UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS ⋮ The Borel complexity of von Neumann equivalence ⋮ The theory of ceers computes true arithmetic ⋮ Agreement reducibility ⋮ Reducibilities among equivalence relations induced by recursively enumerable structures ⋮ Classes of Polish spaces under effective Borel isomorphism ⋮ FINITARY REDUCIBILITY ON EQUIVALENCE RELATIONS ⋮ Isomorphism relations on computable structures ⋮ Turing computable embeddings of equivalences other than isomorphism ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ Wadge hardness in Scott spaces and its effectivization ⋮ On computably enumerable structures ⋮ On Σ¹ ₁ equivalence relations over the natural numbers ⋮ On \(\Delta_2^0\)-categoricity of equivalence relations ⋮ Graphs realised by r.e. equivalence relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Descriptive set theory
• Classical recursion theory. Vol. II
• Recent developments in the theory of Borel reducibility
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• New Directions in Descriptive Set Theory
• Measure and category in effective descriptive set theory
• COUNTABLE BOREL EQUIVALENCE RELATIONS
• Set Theory

This page was built for publication: The effective theory of Borel equivalence relations