Wadge degrees of $Δ^0_2$ omega-powers
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911955578519552 |
|---|---|
| author | Finkel, Olivier Lecomte, Dominique |
| author_facet | Finkel, Olivier Lecomte, Dominique |
| contents | We provide, for each natural number $n$ and each class among $D_n(Σ^0_1)$, $\bar D_n(Σ^0_1)$ and $D_{2n+1}(Σ^0_1)\oplus\bar D_{2n+1}(Σ^0_1)$, a regular language whose associated omega-power is complete for this class. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_10520 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Wadge degrees of $Δ^0_2$ omega-powers Finkel, Olivier Lecomte, Dominique Logic in Computer Science General Topology Logic We provide, for each natural number $n$ and each class among $D_n(Σ^0_1)$, $\bar D_n(Σ^0_1)$ and $D_{2n+1}(Σ^0_1)\oplus\bar D_{2n+1}(Σ^0_1)$, a regular language whose associated omega-power is complete for this class. |
| title | Wadge degrees of $Δ^0_2$ omega-powers |
| topic | Logic in Computer Science General Topology Logic |
| url | https://arxiv.org/abs/2407.10520 |