We present a unified treatment of the hierarchy defined by Klaus Wagner for ω-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 ω-semigroup.
CITATION STYLE
Carton, O., & Perrin, D. (1997). The wadge-wagner hierarchy of ω-rational sets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1256, pp. 17–35). Springer Verlag. https://doi.org/10.1007/3-540-63165-8_162
Mendeley helps you to discover research relevant for your work.