Related papers: Degree spectra of homeomorphism types of compact P…

We prove that there exists a $\Sigma^0_1$ closed subset of $[0,1]$ that is not homeomorphic to any computably compact space. We show that the index set of c.e. subspaces of $[0,1]$ that admit a computably compact presentation is not…

We investigate computable metrizability of Polish spaces up to homeomorphism. In this paper we focus on Stone spaces. We use Stone duality to construct the first known example of a computable topological Polish space not homeomorphic to any…

The paper deals with the program of determining the complexity of various homeomorphism relations. The homeomorphism relation on compact Polish spaces is known to be reducible to an orbit equivalence relation of a continuous Polish group…

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…

In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism…

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…

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…

In this paper we obtain results indicating that fine shape is tractable and "not too strong" even in the non-locally compact case, and can be used to better understand infinite-dimensional metrizable spaces and their homology theories. We…

We identify four countable topological spaces $S_2$, $S_1$, $S_D$, and $S_0$ which serve as canonical examples of topological spaces which fail to be quasi-Polish. These four spaces respectively correspond to the $T_2$, $T_1$, $T_D$, and…

We show that the group of piecewise linear homeomorphisms of any compact PL manifold does not admit a Polish group topology. This uses a) new results on the relationship between topologies on groups of homeomorphisms, their algebraic…

We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism),…

We determine the exact complexity of classifying compact metric spaces up to homeomorphism. More precisely, the homeomorphism relation on compact metric spaces is Borel bi-reducible with the complete orbit equivalence relation of Polish…

Let $\Gamma(X)$ be the inverse semigroup of partial homeomorphisms between open subsets of a compact metric space $X$. There is a topology, denoted $\tau_{hco}$, that makes $\Gamma(X)$ a topological inverse semigroup. We address the…

We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these notions with the well-established definitions of effective…

Hyperspaces $\mathcal H(X)$ of all countable compact subsets of a metric space $X$ and $\mathcal A_n(X)$ of infinite compact subsets which have at most $n$ ($n\in\mathbb N$), or finitely many ($n=\omega$) or countably many ($n=\omega+1$)…

Adapting a result of Bazhenov, Kalimullin, and Yamaleev, we show that if a Turing degree $\textbf{d}$ is the degree of categoricity of a computable structure $\mathcal{M}$ and is not the strong degree of categoricity of any computable…

Given a computably locally compact Polish space $M$, we show that its 1-point compactification $M^*$ is computably compact. Then, for a computably locally compact group $G$, we show that the Chabauty space $\mathcal S(G)$ of closed…

We study full groups of minimal actions of countable groups by homeomorphisms on a Cantor space $X$, showing that these groups do not admit a compatible Polish group topology and, in the case of $\Z$-actions, are coanalytic non-Borel inside…

A compact space $X$ is said to be minimal if there exists a map $f:X\to X$ such that the forward orbit of any point is dense in $X$. We consider rigid minimal spaces, motivated by recent results of Downarowicz, Snoha, and Tywoniuk [J. Dyn.…

Let M be the countably infinite metric fan. We show that C_k(M,2) is sequential and contains a closed copy of Arens space S_2. It follows that if X is metrizable but not locally compact, then C_k(X) contains a closed copy of S_2, and hence…