Related papers: On Arhangelskii's Problem
We show that the $k$-nearest neighbour learning rule is universally consistent in a metric space $X$ if and only if it is universally consistent in every separable subspace of $X$ and the density of $X$ is less than every real-measurable…
We provide, for any regular uncountable cardinal $\kappa$, a new argument for Pincus' result on the consistency of $\mathrm{ZF}$ with the higher dependent choice principle $\mathrm{DC}_{<\kappa}$ and the ordering principle in the presence…
Let us denote by $\Phi(\lambda,\mu)$ the statement that $\mathbb{B}(\lambda) = D(\lambda)^\omega$, i.e. the Baire space of weight $\lambda$, has a coloring with $\mu$ colors such that every homeomorphic copy of the Cantor set $\mathbb{C}$…
In their study of a binomial sum related to Wolstenholme's theorem, Chamberland and Dilcher prove that the corresponding sequence modulo primes $p$ satisfies congruences that are analogous to Lucas' theorem for the binomial coefficients…
We provide a reduction in the classification problem for non-compact, homogeneous, Einstein manifolds. Using this work, we verify the (Generalized) Alekseevskii Conjecture for a large class of homogeneous spaces.
When a discrete group admits a convex-cocompact action on a non-compact rank-one symmetric space, there is a natural lower bound for the Hausdorff dimension of the limit set, given by the Ahlfors regular conformal dimension of the boundary…
A continuum $K$ is a common model for the family ${\mathcal K}$ of continua if every member of ${\mathcal K}$ is a continuous image of $K$. We show that none of the following classes of spaces has a common model: 1) the class of strongly…
The classical Hausdorff dimension of finite or countable sets is zero. We define an analog for finite sets, called finite Hausdorff dimension which is non-trivial. It turns out that a finite bound for the finite Hausdorff dimension…
We consider (not self-similar) Cantor sets defined by a sequence of piecewise linear functions. We prove that the dimension of the harmonic measure on such a set is strictly smaller than its Hausdorff dimension. Some Hausdorff measure…
We study time-dependent compactification of extra dimensions. We assume that the spacetime is spatially homogeneous, and solve the vacuum Einstein equations without cosmological constant in more than three dimensions. We consider globally…
We prove a quantitative distortion theorem for iterated function systems that generate sets of continued fractions. As a consequence, we obtain upper and lower bounds on the Hausdorff dimension of any set of real or complex continued…
We prove the consistency of the theory ZFC + there is a strongly compact cardinal from the existence of a cardinal preserving embedding from the universe into an inner model. The proof almost shows that under SCH, every cardinal preserving…
We address a two-dimensional nonlinear elliptic problem with a finite-amplitude periodic potential. For a class of separable symmetric potentials, we study the bifurcation of the first band gap in the spectrum of the linear Schr\"{o}dinger…
A reductive homogeneous space $G/H$ is always diffeomorphic to the normal bundle of an orbit of a maximal compact subgroup of $G$. We prove that if $G/H$ admits compact quotients, then the sphere bundle associated to this normal bundle is…
This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a…
The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was shown that this is always the case, if the effective map also…
On any closed Riemannian manifold of dimension greater than $7$, we construct examples of background physical coefficients for which the Einstein-Lichnerowicz equation possesses a non-compact set of positive solutions. This yields in…
A dual pair formulation for asymmetric locally convex spaces is developed that strictly generalises the ordinary vector space setting. The concept of a polar topology carries over to the asymmetric case and some familiar results are…
Let $(X,\omega)$ be a compact K\"ahler manifold. We prove the existence and uniqueness of solutions to complex Monge-Amp\`ere equations with prescribed singularity type. Compared to previous work, the assumption of small unbounded locus is…
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…