# Results in descriptive set theory on some represented spaces

1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Descriptive set theory was originally developed on Polish spaces. It was later extended to ω-continuous domains [Selivanov 2004] and recently to quasi-Polish spaces [de Brecht 2013]. All these spaces are countably-based. Extending descriptive set theory and its effective counterpart to general represented spaces, including non-countably-based spaces has been started in [Pauly, de Brecht 2015]. We study the spaces $O(N^N)$, $C(N^N, 2)$ and the Kleene-Kreisel spaces $N\langle α\rangle$. We show that there is a $Σ^0_2$-subset of $O(N^N)$ which is not Borel. We show that the open subsets of $N^{N^N}$ cannot be continuously indexed by elements of $N^N$ or even $N^{N^N}$, and more generally that the open subsets of $N\langle α\rangle$ cannot be continuously indexed by elements of $N\langle α\rangle$. We also derive effective versions of these results. These results give answers to recent open questions on the classification of spaces in terms of their base-complexity, introduced in [de Brecht, Schröder, Selivanov 2016]. In order to obtain these results, we develop general techniques which are refinements of Cantor's diagonal argument involving multi-valued fixed-point free functions and that are interesting on their own right.
Type de document :
Pré-publication, Document de travail
2017
Domaine :

Littérature citée [10 références]

https://hal.inria.fr/hal-01657883
Contributeur : Mathieu Hoyrup <>
Soumis le : jeudi 7 décembre 2017 - 11:05:02
Dernière modification le : vendredi 8 décembre 2017 - 01:21:47

### Fichier

DST.pdf
Fichiers produits par l'(les) auteur(s)

### Identifiants

• HAL Id : hal-01657883, version 1

### Citation

Mathieu Hoyrup. Results in descriptive set theory on some represented spaces. 2017. 〈hal-01657883〉

### Métriques

Consultations de la notice

## 31

Téléchargements de fichiers