Related papers: A Counterexample Regarding C.E. Closed Subsets of …
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…
For a separable locally compact but not compact metrizable space $X$, let $\alpha X = X \cup \{x_\infty\}$ be the one-point compactification with the point at infinity $x_\infty$. We denote by $EM(X)$ the space consisting of admissible…
A reduction of properties (invariants) of compact sets of real numbers to properties of countable orders is presented here. Discussed here is also an embedding property of some compact sets that are called t$\mathbb R$-sets. Among others,…
In this paper we construct a closed subspace $X\subset C[0,1]$ with countable oscillating spectrum $\Omega(X)$ such that $X$ is isometric to $\ell^1$. This provides a negative answer to Question~4.3 posed by Enflo, Gurariy, and Seoane in…
In this brief note, we provide an example of non complete locally convex space $E$ with a $\sigma(E, E^*)$ closed bounded subset $C\subset E$, which is not $\sigma(E, E^*)$-compact, even if every $\varphi\in E^*$ attains its sup over $C$.
We present examples of realcompact spaces with closed subsets that are C*-embedded but not C-embedded, including one where the closed set is a copy of the space of natural numbers.
We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with…
Examples are given of tent maps $T$ for which there exist non-trivial sets $B \subset [0,1]$ such that $T:B \to B$ is a homeomorphism.
We show in detail that every compact countable subset of a metric space is homeomorphic to a countable ordinal number, which extends a result given by Mazurkiewicz and Sierpinski for finite-dimensional Euclidean spaces. In order to achieve…
We show that all countable subsets of any pseudocompact quasitopological group in the form of a Korovin orbit are closed, discrete, and $C^\ast$-embedded. Consequently, any infinite pseudocompact Korovin orbit is not homeomorphic to a…
We provide examples of nonseparable compact spaces with the property that any continuous image which is homeomorphic to a finite product of spaces has a maximal prescribed number of nonseparable factors.
We deal with topological spaces homeomorphic to their respective squares. Primarily, we investigate the existence of large families of such spaces in some subclasses of compact metrizable spaces. As our main result we show that there is a…
We prove that each non-separable completely metrizable convex subset of a Frechet space is homeomorphic to a Hilbert space. This resolves an old (more than 30 years) problem of infinite-dimensional topology. Combined with the topological…
The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskii, Tseitin, Kreisel, and Lacombe assert the existence of NON-empty co-r.e. closed sets devoid of computable points: sets which are…
We show that if a separable space X has a meager open subset containing a copy of the Cantor set 2^\omega, then X has $\frak{c}$ types of countable dense subsets. We suggest a generalization of the \lambda-set for non-separable spaces. Let…
An open (resp., closed) subset A of a topological space (X, T ) is called C-open (resp., C-closed) set if cl(A) \ A (resp., A \ int(A)) is a countable set. This paper aims to present the concept of C-open and C-closed sets. We first…
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…
In analogy to the study of Scott rank/complexity of countable structures, we initiate the study of the Wadge degrees of the set of homeomorphic copies of topological spaces. One can view our results as saying that the classical…
In this paper we study the polynomial entropy of homeomorphism on compact metric space. We construct a homeomorphism on a compact metric space with vanishing polynomial entropy that it is not equicontinuous. Also we give examples with…
We show that it is consistent that for some uncountable cardinal k, all compactifications of the countable discrete space with remainders homeomorphic to $D^k$ are homeomorphic to each other. On the other hand, there are $2^c$ pairwise…