A recursion theoretic property of $\mathbf {\Sigma ^1_1}$ equivalence relations

DOI10.1090/PROC/14118zbMath1446.03079OpenAlexW2794125871MaRDI QIDQ4683538

Howard Becker

Publication date: 21 September 2018

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/proc/14118

zbMATH Keywords

analytic equivalence relation$\Pi^1_2$-determinacyperfectly many equivalence classes

Mathematics Subject Classification ID

Descriptive set theory (03E15)

Related Items (1)

Design and stability analysis of cooperative receding‐horizon control of linear discrete‐time agents

Cites Work

• Unnamed Item
• Unnamed Item
• A computability theoretic equivalent to Vaught's conjecture
• Analytic determinacy and 0^#
• A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory
• Recursive Pseudo-Well-Orderings

This page was built for publication: A recursion theoretic property of $\mathbf {\Sigma ^1_1}$ equivalence relations