Omega-powers and descriptive set theory - Université Paris Cité 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
63 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More