Related papers: Countable dense homogeneity of definable spaces

We consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters which are countably generated.It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters…

Inspired by group cohomology, we define several coarse topological invariants of metric spaces. We define the coarse cohomological dimension of a metric space, and demonstrate that if G is a countable group, then the coarse cohomological…

The main aim of the paper is to give a full classification (up to isometry) of all metric spaces X with the following two properties: X contains a compact set with non-empty interior; and for any three distinct points a, b and c of X there…

We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially…

We investigate certain geometric properties of the spaces of idempotent measures. In particular, we prove that the space of idempotent measures on an infinite compact metric space is homeomorphic to the Hilbert cube.

For any countable $CW$-complex $K$ and a cardinal number $\tau\geq\omega$ we construct a completely metrizable space $X(K,\tau)$ of weight $\tau$ with the following properties: $\e X(K,\tau)\leq K$, $X(K,\tau)$ is an absolute extensor for…

Assume that there is no quasi-measurable cardinal smaller than $2^\omega$. ($\kappa$ is quasi measurable if there exists $\kappa $-additive ideal $\ci $ of subsets of $\kappa $ such that the Boolean algebra $P(\kappa)/\ci$ satisfies c.c.c.)…

We answer a question of Piotr Minc by proving that there is no compact metrizable space whose set of components contains a unique topological copy of every metrizable compactification of a ray (i.e. a half-open interval) with an arc (i.e.…

We present a necessary and sufficient condition for the strict positive definiteness of a real, continuous, isotropic and positive definite kernel on a two-point compact homogeneous space. The characterization adds to others previously…

A result of P. Tukia from 1989 says that Lebesgue measure on $\mathbb{R}$ has conformal dimension zero: for every $\epsilon > 0$, there is a Borel set $G \subset \mathbb{R}$ of full Lebesgue measure, and a quasisymmetric homeomorphism $f…

We study the question of constructive approximation of the harmonic measure $\omega_x^\Omega$ of a connected bounded domain $\Omega$ with respect to a point $x\in\Omega$. In particular, using a new notion of computable harmonic…

We prove that two homogeneous ultra-metric spaces $X,Y$ are coarsely equivalent if and only if $\mathrm{Ent}^\sharp(X)=\mathrm{Ent}^\sharp(Y)$ where $\mathrm{Ent}^\sharp(X)$ is the so-called sharp entropy of $X$. This classification implies…

Let $\nu$ be a vector measure defined on a $\sigma$-algebra $\Sigma$ and taking values in a Banach space. We prove that if $\nu$ is homogeneous and $L_1(\nu)$ is non-separable, then there is a vector measure $\tilde{\nu}:\Sigma \to…

In this paper, we mainly prove that if $H$ is a closed strong subgyrogroup of a strongly topological gyrogroup $G$ and $H$ is neutral, then (1) $G/H$ is biradial if and only if $G/H$ is nested; (2) $G/H$ is metrizable if and only if $G/H$…

We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a…

As it was introduced by Tkachuk and Wilson, a topological space $X$ is cellular-compact if given any cellular, i.e. disjoint, family $\mathcal U$ of non-empty open subsets of $X$ there is a compact subspace $K\subset X$ such that $K\cap…

We prove that, for any Hausdorff continuum X, if dim X > 1 then the hyperspace C(X) of subcontinua of X is not a C-space; if dim X = 1 and X is hereditarily indecomposable then dim C(X) = 2 or C(X) is not a C-space. This generalizes results…

A set $X \subseteq 2^\omega$ with positive measure contains a perfect subset. We study such perfect subsets from the viewpoint of computability and prove that these sets can have weak computational strength. Then we connect the existence of…

We investigate $\mathcal F$-Borel topological spaces. We focus on finding out how a~complexity of a~space depends on where the~space is embedded. Of a~particular interest is the~problem of determining whether a~complexity of given space $X$…

We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply defined compact spaces,…