ω-powers and descriptive set theory

Lecomte, Dominique

J. Symbolic Logic, Tome 70 (2005) no. 1, p. 1210-1232 / Harvested from Project Euclid

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 others, 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 level ω of the Wadge hierarchy.

Publié le : 2005-12-14
Classification:

@article{1129642123,
     author = {Lecomte, Dominique},
     title = {$\omega$-powers and descriptive set theory},
     journal = {J. Symbolic Logic},
     volume = {70},
     number = {1},
     year = {2005},
     pages = { 1210-1232},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1129642123}
}

Lecomte, Dominique. ω-powers and descriptive set theory. J. Symbolic Logic, Tome 70 (2005) no. 1, pp.  1210-1232. http://gdmltest.u-ga.fr/item/1129642123/