An infinite game on omega-semigroups

Détails

ID Serval
serval:BIB_995D9E60623A
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
An infinite game on omega-semigroups
Titre de la conférence
Infinite Games, Papers of the conference Foundations of the Formal Sciences V, held in Bonn, November 26-29, 2004
Auteur⸱e⸱s
Cabessa J., Duparc J.
Editeur
College Publications, London
Organisation
Foundations of the Formal Sciences V. Infinite Games
ISBN
978-1-904987-75-8
Statut éditorial
Publié
Date de publication
2007
Peer-reviewed
Oui
Editeur⸱rice scientifique
Bold  S., Löwe  B., Räsch  T. , van Benthem J.
Volume
11
Série
Studies in Logic
Pages
63-78
Langue
anglais
Résumé
Jean-Eric Pin introduced the structure of an ´ ω-semigroup in [PerPin04] as an algebraic counterpart to the concept of automaton reading infinite words. It has been well studied since, specially by Carton, Perrin [CarPer97] and [CarPer99], and Wilke. We introduce a reduction relation on subsets of ω-semigroups defined by way of an infinite two-player game. Both Wadge hierarchy and Wagner hierarchy become special cases of the hierarchy induced by this reduction relation. But on the other hand, set theoretical properties that occur naturally when studying these hierarchies, happen to have a decisive algebraic counterpart. A game theoretical characterization of basic algebraic concepts follows.
Création de la notice
06/02/2008 18:16
Dernière modification de la notice
20/08/2019 15:00
Données d'usage