12 citations · 34 across the 20 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2013
Normal Numbers and the Borel Hierarchy
Verónica Becher, Pablo Ariel Heiber, Theodore A. Slaman
We show that the set of absolutely normal numbers is -complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is…
cs.LO2013★ 5 cited
Wadge Hardness in Scott Spaces and Its Effectivization
Verónica Becher, Serge Grigorieff
We prove some results on the Wadge order on the space of sets of natural numbers endowed with Scott topology, and more generally, on omega-continuous domains. Using alternating dec…
cs.LO2013★ 8 cited
Borel and Hausdorff Hierarchies in Topological Spaces of Choquet Games and Their Effectivization
Verónica Becher, Serge Grigorieff
What parts of classical descriptive set theory done in Polish spaces still hold for more general topological spaces, possibly T0 or T1, but not T2 (i.e. not Hausdorff)? This questi…