Related papers: A Counterexample Regarding C.E. Closed Subsets of …

We say that two classes of topological spaces are equivalent if each member of one class has a homeomorphic copy in the other class and vice versa. Usually when the Borel complexity of a class of metrizable compacta is considered, the class…

We show that a homeomorphism of a semi-locally connected compact metric space is equicontinuous if and only if the distance between the iterates of a given point and a given subcontinuum (not containing that point) is bounded away from…

Our main result states that the hyperspace of convex compact subsets of a compact convex subset $X$ in a locally convex space is an absolute retract if and only if $X$ is an absolute retract of weight $\le\omega_1$. It is also proved that…

We define shadowable points for homeomorphism on metric spaces. In the compact case we will prove the following results: The set of shadowable points is invariant, possibly nonempty or noncompact. A homeomorphism has the pseudo-orbit…

The special case of closed subsets of C^n is briefly discussed.

In this paper, we prove that given any \Pi^0_1 subset $P$ of $\{0,1\}^\NN$ there is a tileset $\tau$ with a set of configurations $C$ such that $P\times\ZZ^2$ is recursively homeomorphic to $C\setminus U$ where $U$ is a computable set of…

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…

A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n…

Below, by space we mean a separable metrizable zero-dimensional space. It is studied when the space can be embedded in a Cantor set while maintaining the algebraic structure. Main results of the work: every space is an open retract of a…

We investigate when a computable automorphism of a computable field can be effectively extended to a computable automorphism of its (computable) algebraic closure. We then apply our results and techniques to study effective embeddings of…

We study homeomorphisms of compact metric spaces whose restriction to the nonwandering set has the pseudo-orbit tracing property. We prove that if there are positively expansive measures, then the topological entropy is positive. Some short…

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

Mathematicians like Markov and Bishop made an effort to develop constructive mathematics and extended many theorems in classical mathematical analysis. Heine Borel theorem tells us that a closed bounded subset of Euclidean space R is…

In this paper, we apply the machinery developed in arXiv:2401.06641(2) to study the behavior of computable categoricity relativized to non-c.e. degrees. In particular, we show that we can build a computable structure which is not computably…

The topological properties of a set have a strong impact on its computability properties. A striking illustration of this idea is given by spheres and closed manifolds: if a set $X$ is homeomorphic to a sphere or a closed manifold, then any…

We prove that for infinite, countable, compact, Hausdorff spaces $K,L$, $C(K)\widehat{\otimes}_\pi C(L)$ is isomorphic to exactly one of the spaces $C(\omega^{\omega^\xi})\widehat{\otimes}_\pi C(\omega^{\omega^\zeta})$, $0\leqslant…

We study expansive homeomorphisms of a compact metric space $X$ through the lens of the commutative $C^*$-algebra $C(X)$ of continuous complex-valued functions, viewed as observables of the system. We introduce the notion of expansive…

A computable graph $\mathcal{G}$ is computably categorical relative to a degree $\mathbf{d}$ if and only if for all $\mathbf{d}$-computable copies $\mathcal{B}$ of $\mathcal{G}$, there is a $\mathbf{d}$-computable isomorphism…

It is shown that the hyperspace of all nonempty closed subsets $\Cld_{AW}(X)$ of a separable metric space $X$ endowed with the Attouch-Wets topology is homeomorphic to a separable Hilbert space if and only if the completion of $X$ is…

We prove that: 1. If a Hausdorff M-space is a continuous closed image of a submetrizable space, then it is metrizable. 2. A dense-in-itself open-closed image of a submetrizable space is submetrizable if and only if it is functionally…