Omega-powers and descriptive set theory - Analyse fonctionnelle Accéder directement au contenu
Article Dans Une Revue The Journal of Symbolic Logic Année : 2005

Omega-powers and descriptive set theory

Dominique Lecomte
  • Fonction : Auteur
  • PersonId : 841200

Résumé

We study the sets of the infinite sentences constructible with a dictionary over a finite alphabet, from the viewpoint of descriptive set theory. Among other things, this gives some true co-analytic sets. The case where the dictionary is finite is studied and gives a natural example of a set at the level omega of the Wadge hierarchy.

Mots clés

Fichier principal
Vignette du fichier
08.Opdst.pdf (223.76 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00175696 , version 1 (30-09-2007)

Identifiants

Citer

Dominique Lecomte. Omega-powers and descriptive set theory. The Journal of Symbolic Logic, 2005, 70 (4), pp.1210-1232. ⟨hal-00175696⟩
119 Consultations
67 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More