The Wadge-Wagner hierarchy of omega-rational sets

Olivier Carton (1) , D Perrin

1 LIGM - Laboratoire d'Informatique Gaspard-Monge

We present a unified treatment of the hierarchy defined, by Klaus Wagner for omega-rational sets and also introduced in the more general framework of descriptive set theory by William W. Wadge. We show that this hierarchy can be defined by syntactic invariants, using the concept of an omega-semigroup.

Domaines: Automatique

Olivier Carton, D Perrin. The Wadge-Wagner hierarchy of omega-rational sets. AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 (?), pp.17--35. ⟨hal-00693993⟩