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

01/20/2023
by   Matthew de Brecht, et al.
0

The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an effective version of the domain-characterization of quasi-Polish spaces, describe effective extensions of quasi-Polish topologies, discover natural numberings of classes of effective quasi-Polish spaces, estimate the complexity of the (effective) homeomorphism relation and of some classes of spaces w.r.t. these numberings, and investigate degree spectra of continuous domains.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/30/2021

Constructing the space of valuations of a quasi-Polish space as a space of ideals

We construct the space of valuations on a quasi-Polish space in terms of...
research
09/19/2017

On the commutativity of the powerspace constructions

We investigate powerspace constructions on topological spaces, with a pa...
research
12/11/2017

Results in descriptive set theory on some represented spaces

Descriptive set theory was originally developed on Polish spaces. It was...
research
07/22/2023

As if Time Had Stopped – Checking Memory Dumps for Quasi-Instantaneous Consistency

Memory dumps that are acquired while the system is running often contain...
research
09/01/2020

On Stoltenberg's quasi-uniform completion

In this paper, we give a new completion for quasi-uniform spaces which g...
research
02/27/2020

Residuated implications derived from quasi-overlap functions on lattices

In this paper, we introduce the concept of residuated implications deriv...
research
11/18/2022

On Weakly Hausdorff Spaces and Locally Strongly Sober Spaces

We show that the locally strongly sober spaces are exactly the coherent ...

Please sign up or login with your details

Forgot password? Click here to reset