Related papers: Coloring Cantor sets and resolvability of pseudoco…
P. Kirchberger proved that, for a finite subset $X$ of $\mathbb{R}^{d}$ such that each point in $X$ is painted with one of two colors, if every $d+2$ or fewer points in $X$ can be separated along the colors, then all the points in $X$ can…
In this paper, we firstly discuss the question: Is $l_{2}^{\infty}$ homeomorphic to a rectifiable space or a paratopological group? And then, we mainly discuss locally compact rectifiable spaces, and show that a locally compact and…
We give an algebraic characterization of pre-Hilbert spaces with an orthonormal basis. This characterization is used to show that there are pre-Hilbert spaces $X$ of dimension and density $\lambda$ for any uncountable $\lambda$ without any…
Specifying a computational problem requires fixing encodings for input and output: encoding graphs as adjacency matrices, characters as integers, integers as bit strings, and vice versa. For such discrete data, the actual encoding is…
This paper investigates topological reconstruction, related to the reconstruction conjecture in graph theory. We ask whether the homeomorphism types of subspaces of a space $X$ which are obtained by deleting singletons determine $X$…
We consider the question which compact metric spaces can be obtained as a Lipschitz image of the middle third Cantor set, or more generally, as a Lipschitz image of a subset of a given compact metric space. In the general case we prove that…
We show that a linearly ordered topological space is initially \lambda-compact if and only if it is \lambda-bounded, that is, every set of cardinality $\leq \lambda$ has compact closure. As a consequence, every product of initially…
We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $\mu$ is a Borel finite measure on $X$…
We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…
In this note we provide a quasisymmetric taming of uniformly perfect and uniformly disconnected sets that generalizes a result of MacManus from 2 to higher dimensions. In particular, we show that a compact subset of $\mathbb{R}^n$ is…
We prove that some natural "outside" property is equivalent (for a first order class) to being stable. For a model, being resplendent is a strengthening of being kappa-saturated. Restricting ourselves to the case kappa > |T| for…
For metric spaces, the doubling property, the uniform disconnectedness, and the uniform perfectness are known as quasi-symmetric invariant properties. The David-Semmes uniformization theorem states that if a compact metric space satisfies…
Let $X \subset \mathbb{C}^n$ be an algebraic variety, and let $\Lambda \subset \mathbb{C}^n$ be a discrete subgroup whose real and complex spans agree. We describe the topological closure of the image of $X$ in $\mathbb{C}^n / \Lambda$,…
We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal…
We study closed choice principles for different spaces. Given information about what does not constitute a solution, closed choice determines a solution. We show that with closed choice one can characterize several models of…
The aim of this paper is to consider questions concerning the possible maximum cardinality of various separable pseudoradial (in short: SP) spaces. The most intriguing question here is if there is, in ZFC, a regular (or just Hausdorff) SP…
Hadwiger's Conjecture asserts that every $K_h$-minor-free graph is properly $(h-1)$-colourable. We prove the following improper analogue of Hadwiger's Conjecture: for fixed $h$, every $K_h$-minor-free graph is $(h-1)$-colourable with…
A finite set $X$ in a Euclidean space $\mathbb{R}^d$ is called Ramsey if for every $k$ there exists an integer $n$ such that whenever $\mathbb{R}^n$ is coloured with $k$ colours, there is a monochromatic copy of $X$. Graham conjectured that…
A Tychonoff space $X$ is called ({\em sequentially}) {\em Ascoli} if every compact subset (resp. convergent sequence) of $C_k(X)$ is equicontinuous, where $C_k(X)$ denotes the space of all real-valued continuous functions on $X$ endowed…
For two metric spaces $\mathbb X$ and $\mathcal Y$, the chromatic number $\chi(\mathbb X;\mathcal Y)$ of $\mathbb X$ with forbidden $\mathcal Y$ is the smallest $k$ such that there is a coloring of the points of $\mathbb X$ with $k$ colors…