Related papers: Countable dense homogeneity of definable spaces

We show that $X^\lambda$ is strongly homogeneous whenever $X$ is a non-separable zero-dimensional metrizable space and $\lambda$ is an infinite cardinal. This partially answers a question of Terada, and improves a previous result of the…

Given a metrizable space $X$, let $AM(X)$ be the space of continuous bounded admissible metrics on $X$, which is endowed with the sup-metric. In this paper, we shall investigate the Borel complexity and the complete metrizability of $AM(X)$…

Prompted by a recent question of G. Hjorth as to whether a bounded Urysohn space is indivisible, that is to say has the property that any partition into finitely many pieces has one piece which contains an isometric copy of the space, we…

A separable metric space X is an H-null set if any uniformly continuous image of X has Hausdorff dimension zero. upper H-null, directed P-null and P-null sets are defined likewise, with other fractal dimensions in place of Hausdorff…

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…

We consider the reverse math strength of the statement $\mathsf{C\text-DM}$:"Every completely determined Borel set is measurable." Over $\mathsf{WWKL}_0$, we obtain the following results analogous to the previously studied category case.…

Let $\mathbb{A}$ denote the Alexandroff-Urysohn double arrow space. We prove the following results: (a) $\mathbb{A}\times{}^\omega{2}$ is not countable dense homogeneous; (b) ${}^{\omega}{\mathbb{A}}$ is not countable dense homogeneous; (c)…

We solve a long standing question due to Arhangel'skii by constructing a compact space which has a $G_\delta$ cover with no continuum-sized ($G_\delta$)-dense subcollection. We also prove that in a countably compact weakly Lindel\"of normal…

Recall that the Rado graph is the unique countable graph that realizes all one-point extensions of its finite subgraphs. The Rado graph is well-known to be universal and homogeneous in the sense that every isomorphism between finite…

We give a unified treatment of the countable dense homogeneity of products of Polish spaces, with a focus on uncountable products. Our main result states that a product of fewer than $\mathfrak{p}$ Polish spaces is countable dense…

We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the…

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…

A space has $\sigma$-compact tightness if the closures of $\sigma$-compact subsets determines the topology. We consider a dense set variant that we call densely k-separable. We consider the question of whether every densely k-separable…

We show (in ZFC) that the cardinality of a compact homogeneous space of countable tightness is no more than the size of the continuum.

For a metrizable space $X$ and a finite measure space $(\Omega,\mathfrak{M},\mu)$ let $M_{\mu}(X)$ and $M^f_{\mu}(X)$ be the spaces of all equivalence classes (under the relation of equality almost everywhere mod $\mu$) of…

All spaces are assumed to be separable and metrizable. We give a complete classification of the zero-dimensional homogeneous spaces, under the Axiom of Determinacy. This classification is expressed in terms of topological complexity (in the…

We define the notions of unilateral metric derivatives and ``metric derived numbers'' in analogy with Dini derivatives (also referred to as ``derived numbers'') and establish their basic properties. We also prove that the set of points…

Locally compact separable metrizable spaces are characterized among all metrizable spaces as those that admit a cofinal sequence $K_1\subset K_2\subset\cdots$ of compact subsets. Their \v{C}ech cohomology is well-understood due to Petkova's…

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…

For an infinite cardinal $\kappa$ let $\ell_2(\kappa)$ be the linear hull of the standard othonormal base of the Hilbert space $\ell_2(\kappa)$ of density $\kappa$. We prove that a non-separable convex subset $X$ of density $\kappa$ in a…