Related papers: On the commutativity of the powerspace constructio…
We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of…
We construct the space of valuations on a quasi-Polish space in terms of the characterization of quasi-Polish spaces as spaces of ideals of a countable transitive relation. Our construction is closely related to domain theoretical work on…
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…
We show some basic results on the characterization of quasi-Polish spaces in terms of spaces of ideals, with an emphasis on the connections with computable topology.
We characterize coset spaces of topological groups which are coset spaces of (separable) metrizable groups and complete metrizable (Polish) groups. Besides, it is shown that for a $G$-space $X$ with a $d$-open action there is a topological…
The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, $\mathbf{\Pi}_2^0$ subspaces of $\mathcal{P}(\mathbb{N})$, and sober spaces of countably presented frames. In this paper, we…
This paper examines various kinds of subspaces of the non-commutative spaces that are modelled on quasi-projective commutative schemes. It is shown how intersections and unions of weakly closed subspaces, closed subspaces, their weakly open…
The Wadge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). We extend it here to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show…
Consider the lattice of bounded linear operators on the space of Borel measures on a Polish space. We prove that the operators which are continuous with respect to the weak topology induced by the bounded measurable functions form a…
We investigate relations between symmetrizations of quasi-Banach function spaces and constructions such as Calderon-Lozanovskii spaces, pointwise product spaces and pointwise multipliers. We show that under reasonable assumptions the…
We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by…
Quasi-Polish spaces were introduced by de Brecht as a possibly non-Hausdorff generalization of Polish spaces sharing many of their descriptive set-theoretic properties. We give a self-contained exposition of the basic theory of quasi-Polish…
In this paper, we first prove that the retract of a consonant space (or co-consonant space) is consonant (co-consonant). Using this result, some related results have obtained. Simultaneously, we proved that (1) the co-consonance of the…
A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…
The notions of compactness and Hausdorff separation for generalized enriched categories allow us, as classically done for the category $\mathsf{Top}$ of topological spaces and continuous functions, to study $\textit{compactly generated…
We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits…
We consider some distinguished classes of elements of a multiplicative lattice endowed with coarse lower topologies, and call them lower spaces. The primary objective of this paper is to study the topological properties of these lower…
We define and study an effective version of the Wadge hierarchy in computable quasi-Polish spaces which include most spaces of interest for computable analysis. Along with hierarchies of sets we study hierarchies of k-partitions which are…
We show that the strong operator topology, the weak operator topology and the compact-open topology agree on the space of unitary operators of a infinite dimensional separable Hilbert space. Moreover, we show that the unitary group endowed…
It is introduced the concept of a quasi-king space, which is a natural generalisation of a king space. In the realm of suborderable spaces, king spaces are precisely the compact spaces, so are the quasi-king spaces. In contrast, quasi-king…