Related papers: Countable dense homogeneity of definable spaces

In this paper we study continuous kernels on compact two point homogeneous spaces which are positive definite and zonal (isotropic). Such kernels were characterized by R. Gangolli some forty years ago and are very useful for solving…

We prove that if a separable metrizable $X$ is a union of two disjoint 0-dimensional sets $E$, $F$, $E$ is absolutely $G_{\delta}$ and $F$ is absolutely $F_{\sigma\delta}$ then there is a closed embedding $h$ into the union of countable…

We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $\Omega$ is a nonzero, non-atomic, and separable measure space, then every…

Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G=Homeo(X), is the space of maximal…

The main purpose of this paper is to study \emph{$e$-separable spaces}, originally introduced by Kurepa as $K_0'$ spaces; we call a space $X$ $e$-separable iff $X$ has a dense set which is the union of countably many closed discrete sets.…

What topological spaces can be partitioned into copies of the Cantor space $2^\omega$? An obvious necessary condition is that a space can be partitioned into copies of $2^\omega$ only if it can be covered with copies of $2^\omega$. We prove…

We study the class of compact spaces that appear as structure spaces of separable Banach lattices. In other words, we analyze what $C(K)$ spaces appear as principal ideals of separable Banach lattices. Among other things, it is shown that…

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…

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative…

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 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…

We prove that the locally convex space $C_{p}(X)$ of continuous real-valued functions on a Tychonoff space $X$ equipped with the topology of pointwise convergence is distinguished if and only if $X$ is a $\Delta$-space in the sense of \cite…

We investigate a relations of almost isometric embedding and almost isometry between metric spaces and prove that with respect to these relations: (1) There is a countable universal metric space. (2) There may exist fewer than continuum…

W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…

We show that the space of all bounded derivations from the disc algebra into its dual can be identified with the Hardy space $H^1$; using this, we infer that all such derivations are compact. Also, given a fixed derivation $D$, we construct…

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…

We consider the problems of measurable isomorphisms and joinings, measurable centralizers and quotients for certain classes of ergodic group actions on infinite measure spaces. Our main focus is on systems of algebraic origin: actions of…

The main result of this paper is the proof of the simultaneous consistency, modulo a weakly compact cardinal, of the equality $2^{< \mathfrak{c}} = \mathfrak{c}$ with the following property (*) of partitions of pairs of $\mathfrak{c}$:…

We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…

Let $\mu$ be a Borel measure on a compactum $X$. The main objects in this paper are $\sigma$-ideals $I(dim)$, $J_0(\mu)$, $J_f(\mu)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of…