Related papers: A non-computable c.e. closed subset of $[0,1]$

We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic…

We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a…

We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of…

Using the Gandy -- Harrington topology and other methods of effective descriptive set theory, we prove several theorems on compact and sigma-compact pointsets. In particular we show that any $\Sigma^1_1$ set $A$ of the Baire space $N^N$…

We show that for a compact surface without boundary $M$ the set of cw-expansive homeomorphisms is dense in the set of all the homeomorphisms of $M$ with respect to the $C^0$ topology. After this we show that for a generic homeomorphism $f$…

We prove that each non-metrizable sequential rectifiable space $X$ of countable $cs^*$-character contains a clopen rectifiable submetrizable $k_\omega$-subspace $H$ and admits an open disjoint cover by subspaces homeomorphic to clopen…

We investigate conditions under which a co-computably enumerable set in a computable metric space is computable. Using higher-dimensional chains and spherical chains we prove that in each computable metric space which is locally computable…

We prove that a compact space $K$ embeds into a $\sigma$-product of compact metrizable spaces ($\sigma$-product of intervals) if and only if $K$ is (strongly countable-dimensional) hereditarily metalindel\"of and every subspace of $K$ has a…

We construct holomorphic maps with a Siegel disk whose boundary is not locally connected (and is an indecomposable continuum), yet compactly contained in the domain of definition of the map. Our examples are injective and defined on a…

If E is a separable symmetric sequence space with trivial Boyd indices and $\cC^E$ is the corresponding ideal of compact operators, then there exists a $C^1$-function $f_E$, a self-adjoint element $W\in \cC^E$ and a densely defined closed…

The following well known open problem is answered in the negative: Given two compact spaces $X$ and $Y$ that admit minimal homeomorphisms, must the Cartesian product $X\times Y$ admit a minimal homeomorphism as well? A key element of our…

In 1957, Lacombe initiated a systematic study of the different possible notions of "computable topological spaces". However, he interrupted this line of research, settling for the idea that "computably open sets should be computable unions…

We construct a continuum of non-homeomorphic compact subspaces of the real line R without singleton components. Thus from the purely topological point of view the real line contains not only more closed sets than open sets but also more…

We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However,…

We investigate C-sets in almost zero-dimensional spaces, showing that closed $\sigma$C-sets are C-sets. As corollaries, we prove that every rim-$\sigma$-compact almost zero-dimensional space is zero-dimensional and that each cohesive almost…

The purpose of this paper is to prove a new general result about rings of complex analytic functions. Let $\Omega$ be an arbitrary nonempty open subset of the complex plane $\mathbb C$, $\mathcal{A}(\Omega)$ be the set of holomorphic…

Let $\Sigma$ be a compact surface equipped with an area form. There is an long standing open question by Katok, which, in particular, asks whether every entropy-zero Hamiltonian diffeomorphism of a surface lies in the $C^0$-closure of the…

The deck, $\mathcal{D}(X)$, of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}]\colon x \in X\}$, where $[Y]$ denotes the homeomorphism class of $Y$. A space $X$ is (topologically) reconstructible if whenever…

The characteristic index of a locally compact connected group $G$ is the non-negative integer $d$ for which we have a homeomorphism $G\cong K\times \mathbb{R}^d$ with $K\le G$ maximal compact. We prove that the characteristic indices of…

We investigate different notions of "computable topological base" for represented spaces. We show that several non-equivalent notions of bases become equivalent when we consider computably enumerable bases. This indicates the existence of a…