Related papers: A tame Cantor set

A generalization of a result of Wermer concerning the existence of polynomial hulls without analytic discs is presented. As a consequence it is shown that there exists a Cantor set $X$ in ${\mathbb C}^3$ whose polynomial hull is strictly…

Complete Boolean algebras proved to be an important tool in topology and set theory. Two of the most prominent examples are B(kappa), the algebra of Borel sets modulo measure zero ideal in the generalized Cantor space {0,1}^kappa equipped…

We generalize a result of McDonald and Taylor which concerns the size of the tuples of edge lengths in the set $C_1 \times C_2$ utilizing the notion of thickness. Specifically, we show that $C_1, C_2 \subset \mathbb{R}^d$ compact sets with…

We show that products of sufficiently thick Cantor sets generate trees in the plane with constant distance between adjacent vertices. Moreover, we prove that the set of choices for this distance has non-empty interior. We allow our trees to…

The concepts of a conditional set, a conditional inclusion relation and a conditional Cartesian product are introduced. The resulting conditional set theory is sufficiently rich in order to construct a conditional topology, a conditional…

In the paper we discuss the algebraic structure of topological full group $[[T]]$ of a Cantor minimal system $(X,T)$. We show that the topological full group $[[T]]$ has the structure similar to a union of permutational wreath products of…

We prove the conjecture (known as the ``Ten Martini Problem'' after Kac and Simon) that the spectrum of the almost Mathieu operator is a Cantor set for all non-zero values of the coupling and all irrational frequencies.

Every beginning real analysis student learns the classic Heine-Borel theorem, that the interval [0,1] is compact. In this article, we present a proof of this result that doesn't involve the standard techniques such as constructing a…

We prove intuitionistic versions of the classical theorems saying that all countable closed subsets of $[-\pi,\pi]$ and even all countable subsets of $[-\pi,\pi]$ are sets of uniqueness.

Let $\gamma\in(0;\frac{1}{2}),\tau\geq 1$ and define the "$\gamma,\tau$ Diophantine set" as: $$D_{\gamma,\tau}:=\{\alpha\in (0;1): ||q\alpha||\geq\frac{\gamma}{q^{\tau}}\quad\forall q\in\Bbb{N}\},\qquad||x||:=\inf_{p\in\Bbb{Z}}|x-p|. $$ In…

We analyze the pointwise convergence of a sequence of computable elements of L^1(2^omega) in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA_0,…

We work in the Cantor space $2^\omega$. The results of the paper adhere the following pattern. Let $\mathcal{I}\in \{\mathcal{M}, \mathcal{N}, \mathcal{M}\cap \mathcal{N}, \mathcal{E}\}$ and $T$ be a perfect, uniformly perfect or Silver…

In 1984, Kurt Mahler posed the following fundamental question: How well can irrationals in the Cantor set be approximated by rationals in the Cantor set? Towards development of such a theory, we prove a Dirichlet-type theorem for this…

We investigate variants of the Erd\H{o}s similarity problem for Cantor sets. We prove that under a mild Hausdorff or packing logarithmic dimension assumption, Cantor sets are not full measure universal, significantly improving the known…

We establish a formula yielding the Hausdorff measure for a class of non-self-similar Cantor sets in terms of the canonical covers of the Cantor set.

Cantor's famous proof of the non-denumerability of real numbers does apply to any infinite set. The set of exclusively all natural numbers does not exist. This shows that the concept of countability is not well defined. There remains no…

It is proved that the class of separable Rosenthal compacta on the Cantor set having a uniformly bounded dense sequence of continuous functions, is strongly bounded.

Let $\mathcal X$ be an infinite locally compact separable metric space with metric $\rho$ and let $f : \mathcal X \longrightarrow \mathcal X$ be a continuous weakly mixing map. Let $\beta = \sup \big\{ \rho(x, y): \{x, y \} \subset \mathcal…

A toroidal set is a compactum $K \subseteq \mathbb{R}^3$ which has a neighbourhood basis of solid tori. We study the topological entropy of toroidal attractors $K$, bounding it from below in terms of purely topological properties of $K$. In…

The usual definition of the set of constructible reals is $\Sigma ^1_2$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be…