Computer Science and the Fine Structure of Borel Sets

Jacques Duparc (1) , Olivier Finkel (1) , Jean-Pierre Ressayre (1)

1 ELM - Équipe de Logique Mathématique

I) Wadge defined a natural refinement of the Borel hierarchy, now called the Wadge hierarchy WH. The fundamental properties of WH follow from results of Kuratowski, Martin, Wadge and Louveau. We give a transparent restatement and proof of Wadge's main theorem. Our method is new for it yields a wide and unexpected extension: from Borel sets of reals to a class of natural but non Borel sets of infinite sequences. Wadge's theorem is quite uneffective and our generalization clearly worse in this respect. Yet paradoxically our method is appropriate to effectivize this whole theory in the context discussed below. II) Wagner defined on Büchi automata (accepting words of length omega) a hierarchy and proved for it an effective analog of Wadge's results. We extend Wagner's results to more general kinds of Automata: Counters, Push Down Automata and Büchi Automata reading transfinite words. The notions and methods developed in (I) are quite useful for this extension. And we start to use them in order to look for extensions of the fundamental effective determinacy results of Büchi-Landweber, Rabin; and of Courcelle-Walukiewicz.

Domaines: Logique en informatique [cs.LO]; Logique [math.LO]

Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre. Computer Science and the Fine Structure of Borel Sets. Theoretical Computer Science, 2001, 257 (1-2), pp.85-105. ⟨hal-00103673⟩