Results in descriptive set theory on some represented spaces

by   Mathieu Hoyrup, et al.

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〈α〉. 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〈α〉 cannot be continuously indexed by elements of N〈α〉. 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.


page 1

page 2

page 3

page 4


Admissibly Represented Spaces and Qcb-Spaces

A basic concept of Type Two Theory of Effectivity (TTE) is the notion of...

Ideal presentations and numberings of some classes of effective quasi-Polish spaces

The well known ideal presentations of countably based domains were recen...

On the commutativity of the powerspace constructions

We investigate powerspace constructions on topological spaces, with a pa...

Approximation with Tensor Networks. Part I: Approximation Spaces

We study the approximation of functions by tensor networks (TNs). We sho...

Conforming Finite Elements for H(sym Curl) and H(dev sym Curl)

We construct conforming finite elements for the spaces H(sym Curl) and H...

Representations of Domains via CF-approximation Spaces

Representations of domains mean in a general way representing a domain a...

Please sign up or login with your details

Forgot password? Click here to reset