Related papers: A Non-Constructive Proof of Cantor's Theorem
We prove a conjecture by D. Zeilberger on the determinant of a certain matrix and relate it to a problem of non-existence of 1-cycles in this note.
The classical Cantor's intersection theorem states that in a complete metric space $X$, intersection of every decreasing sequence of nonempty closed bounded subsets, with diameter approaches zero, has exactly one point. In this article, we…
In the paper it is demonstrated that Bells theorem is an unprovable theorem.
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
We prove a result about extension of a minimal AF-equivalence relation R on the Cantor set X, the extension being `small' in the sense that we modify R on a thin closed subset Y of X. We show that the resulting extended equivalence relation…
Cantor sets in \(\mathbb{R}\) are common examples of sets for which Hausdorff measures can be positive and finite. However, there exist Cantor sets for which no Hausdorff measure is supported and finite. The purpose of this paper is to try…
We present a short new proof of Cobham's theorem without using Kronecker's approximation theorem, making it suitable for generalization beyond automatic sequences.
We prove surjectivity of certain word maps on finite non-abelian simple groups. More precisely, we prove the following: if N is a product of two prime powers, then the word map sending (x,y) to the product of the Nth powers of x and y is…
In 1984, K. Mahler asked how well elements in the Cantor middle third set can be approximated by rational numbers from that set, and by rational numbers outside of that set. We consider more general missing digit sets $C$ and construct…
We provide a proof of a conjecture in (Bailey, Borwein, Borwein, Crandall 2007) on the existence and form of linear recursions for moments of powers of the Bessel function $K_0$.
We show that Mazur's conjecture on the real topology of rational points on varieties implies that there is no diophantine model of the rational integers in the rational numbers. We also prove that there is a diophantine model of the…
Building on the Pusey-Barrett-Rudolph theorem, we derive a no-go theorem for a vast class of deterministic hidden-variables theories, including those consistent on their targeted domain. The strength of this result throws doubt on seemingly…
We show that for all Cantor set $K_1$ on ${\mathbb R}^d$, it is always possible to find another Cantor set $K_2$ so that the sum $g(K_1)+ K_2$ (where $g$ is a $C^1$ local diffeomorphism) has non-empty interior, and the existence of the…
Bell's theorem is reformulated and proved in the pure mathematical terms of automata theory, avoiding any physical or ontological notions. It is stated that no pair of finite probabilistic sequential machines can reproduce in its output the…
The article is devoted to the alternating Cantor series. It is proved that any real number belonging to $[a_0-1;a_0]$, where $a_0=\sum^{\infty} _{k=1} {\frac{d_{2k}-1}{d_1d_2...d_{2k}}} $, has no more than two representations by the series…
Downarowicz and Maass (2008) have defined the topological rank for all Cantor minimal homeomorphisms. On the other hand, Gambaudo and Martens (2006) have expressed all Cantor minimal continuous surjections as the inverse limits of certain…
We exposit two previously unpublished theorems of Leo Harrington. The first theorem says that there exist arithmetical singletons which are arithmetically incomparable. The second theorem says that there exists a ranked point which is not…
We consider formal power series $ f(x) = a_1 x + a_2 x^2 + \cdots $ $(a_1 \neq 0)$, with coefficients in a field. We revisit the classical subject of iteration of formal power series, the n-fold composition $f^{(n)}(x)=f(f(\cdots…
We prove that neither a prime nor {an l-almost prime} number theorem hold in the class of regular Toeplitz subshifts. But, {when a quantitative strengthening of the regularity with respect to the periodic structure involving Euler's totient…
By considering the prime zeta function, the author intended to demonstrate in that the Riemann zeta function zeta(s) does not vanish for Re(s)>1/2, which would have proven the Riemann hypothesis. However, he later realised that the proof of…