Related papers: Zero-dimensional metrizable CDH space $X$ such tha…
In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $\mathbf{ZF}$, some are shown to be independent of…
In this note we prove that a regular continuous open image of the Sorgenfrey line with an uncountable weight has a closed subspace that is homeomorphic to the Sorgenfrey line. As a corollary we deduce the theorem in the title.
We introduce a notion of mean cohomological independence dimension for actions of discrete amenable groups on compact metrizable spaces, as a variant of mean dimension, and use it to obtain lower bounds for the radius of comparison of the…
Let $T$ be a compact, metrisable and strongly countable-dimensional topological space. Let $\mathcal{M}^T$ be the set of all metrics $d$ on $T$ compatible with its topology, and equip $\mathcal{M}^T$ with the topology of uniform…
A metric space is indivisible if for any partition of it into finitely many pieces one piece contains an isometric copy of the whole space. Continuing our investigation of indivisible metric spaces, we show that a countable ultrametric…
This is a detailed introductory survey of the cohomological dimension theory of compact metric spaces.
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)$…
We construct a subring as mentioned in the title (hence this subring has Lebesgue measure zero).
We prove that every homogeneous countable dense homogeneous topological space containing a copy of the Cantor set is a Baire space. In particular, every countable dense homogeneous topological vector space is a Baire space. It follows that,…
Let $L(X)$ be the free locally convex space over a Tychonoff space $X$. We show that the following assertions are equivalent: (i) $L(X)$ is $\ell_\infty$-barrelled, (ii) $L(X)$ is $\ell_\infty$-quasibarrelled, (iii) $L(X)$ is…
Let $X$ be a non-degenerate connected compact metric space. If $X$ admits a distal minimal action by a finitely generated amenable group, then the first \vCech cohomology group $ {\check H}^1(X)$ with integer coefficients is nontrivial. In…
By a recent result of Juh\'{a}sz and van Mill, a locally compact topological group whose dense subspaces are all separable is metrizable. In this note we investigate the following question: is every locally compact group having all dense…
We show that the metrisability of an oriented projective surface is equivalent to the existence of pseudo-holomorphic curves. A projective structure $\mathfrak{p}$ and a volume form $\sigma$ on an oriented surface $M$ equip the total space…
It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such…
A metric space is said to be all-set-homogeneous if any of its partial isometries can be extended to a genuine isometry. We give a classification of a certain subclass of all-set-homogeneous length spaces.
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
A coarse space $X$, endowed with a linear order compatible with the coarse structure of $X$, is called linearly ordered. We prove that every linearly ordered coarse space $X$ is locally convex and the asymptotic dimension of $X$ is either…
If $(X,d)$ is a Polish metric space of dimension $0$, then by Wadge's lemma, no more than two Borel subsets of $X$ can be incomparable with respect to continuous reducibility. In contrast, our main result shows that for any metric space…
The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper,…
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by $I(mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y)$, and set $M(X) = \sup…