 |
|
|
|
| HAL: hal-00175696, version 1 |
| arXiv: 0710.0153 |
| Detailed view |  Export this paper |
|
|
| Journal of Symbolic Logic 70, 4 (2005) 1210-1232 |
|
|
|
|
| Omega-powers and descriptive set theory |
|
|
| Dominique Lecomte 1 |
|
|
| (2005) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Institut de Mathématiques de Jussieu (IMJ) |
|
|
|
CNRS : UMR7586 – Université Paris VI - Pierre et Marie Curie – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Analyse Fonctionnelle |
|
|
|
|
| Subject | : | Mathematics/Logic Mathematics/General Topology |
|
|
| omega-power – Borel class |
|
|
|
| Attached file list to this document: | ||||||||||
|
||||||||||
|
|
|
| hal-00175696, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00175696 | |
| oai:hal.archives-ouvertes.fr:hal-00175696 | |
| From: Dominique Lecomte | |
| Submitted on: Sunday, 30 September 2007 15:34:49 | |
| Updated on: Sunday, 30 September 2007 17:59:25 | |
