Describing the Wadge Hierarchy for the Alternation Free Fragment of μ -Calculus (I) The Levels Below ω 1
Détails
ID Serval
serval:BIB_B7FCE719AFD8
Type
Actes de conférence (partie): contribution originale à la littérature scientifique, publiée à l'occasion de conférences scientifiques, dans un ouvrage de compte-rendu (proceedings), ou dans l'édition spéciale d'un journal reconnu (conference proceedings).
Collection
Publications
Institution
Titre
Describing the Wadge Hierarchy for the Alternation Free Fragment of μ -Calculus (I) The Levels Below ω 1
Titre de la conférence
Logic and Theory of Algorithms : Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Proceedings
Editeur
Springer
ISBN
978-3-540-69405-2
978-3-540-69407-6
978-3-540-69407-6
Statut éditorial
Publié
Date de publication
2008
Peer-reviewed
Oui
Editeur⸱rice scientifique
Beckmann A., Dimitracopoulos C., Löwe B.
Volume
5028
Série
Lecture Notes in Computer Science
Pages
186-195
Langue
anglais
Résumé
The height of the Wadge Hierarchy for the Alternation Free Fragment of mu-calculus is known to be at least epsilon(0). It was conjectured that the height is exactly epsilon(0). We make a first step towards the proof of this conjecture by showing that there is no Delta(mu)(2) definable set in between the levels omega(omega) and omega(1) of the Wadge Hierarchy of Borel Sets.
Mots-clé
μ-calculus, Wadge games, Topological complexity, Parity games, Weakly alternating automata
Web of science
Création de la notice
07/04/2008 15:19
Dernière modification de la notice
20/08/2019 15:26
Données d'usage
