Journal of Symbolic Logic · 2010 · 17 citations · 8 references
Natural SciencesMathematicsDiscrete MathematicsSet TheoryTopologyAxiomatic Set TheoryBoolean AlgebraReducibility
Abstract In [9] we have considered a wide class of “well-behaved” reducibilities for sets of reals. In this paper we continue with the study of Borel reducibilities by proving a dichotomy theorem for the degree-structures induced by good Borel reducibilities. This extends and improves the results of [9] allowing to deal with a larger class of notions of reduction (including, among others, the Baire class ξ functions).
8
A hierarchy of deterministic context-free ω-languages
J Duparc · Theoretical Computer Science · 2003 · 44 citations
Alessandro Andretta · Annals of Pure and Applied Logic · 2006 · 35 citations