The Algebraic Counterpart of the Wagner Hierarchy

DOI10.1007/978-3-540-69407-6_11zbMath1143.68047OpenAlexW1962111020MaRDI QIDQ3507423

Jacques Duparc, Jérémie Cabessa

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_11

zbMATH Keywords

infinite gamesWadge hierarchyWadge game\(\omega \)-automataWagner hierarchy\(\omega \)-rational languages\(\omega \)-semigroups

Mathematics Subject Classification ID

Descriptive set theory (03E15) Games involving topology, set theory, or logic (91A44) Algebraic theory of languages and automata (68Q70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• First-order logic and star-free sets
• Fine hierarchy of regular \(\omega\)-languages
• Monoides pointes
• Borel determinacy
• Logic, semigroups and automata on words
• Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
• On ω-regular sets
• Application of model theoretic games to discrete linear orders and finite automata
• Star-free regular sets of ω-sequences
• Chains and Superchains for ω-Rational Sets, Automata and Semigroups
• THE WAGNER HIERARCHY
• The Wadge-Wagner hierarchy of ω-rational sets
• A game theoretical approach to the algebraic counterpart of the Wagner hierarchy : Part I
• On finite monoids having only trivial subgroups
• THE MISSING LINK FOR ω-RATIONAL SETS, AUTOMATA, AND SEMIGROUPS

This page was built for publication: The Algebraic Counterpart of the Wagner Hierarchy