Related papers: A Proof Of Cantor's Theorem

In this work, we develop Extraction Theorems for classes of geometric objects with small extraction numbers. These classes include intervals, axis-parallel segments, axis-parallel rays, and octants. We investigate these classes of objects…

Fillmore Theorem says that if $A$ is a nonscalar matrix of order $n$ over a field $\mathbb{F}$ and $\gamma_1,\ldots,\gamma_n\in \mathbb{F}$ are such that $\gamma_1+\cdots+\gamma_n=\text{tr} \, A$, then there is a matrix $B$ similar to $A$…

Theorem converse to Jordan's curve theorem says that {\it if a compact set $K$ has two complementary domains in $R^{2}$, from each of which it is at every point accessible, it is a simple closed curve}. We show that the requirement of this…

In this paper we prove that the set of countable bqos (viewed as a subset of the Cantor space) is Pi^1_2-complete. The notion of bqo or better quasi-ordering arises from combinatorics and is a generalization of the canonical example of a…

We consider T(x), a tensor of arbitrary rank that is symmetric in all of its indices and conserved in the sense that the divergence on any one index vanishes. Our conjecture is that all integral moments of this tensor will vanish if the…

Given a sequence converging to zero, we consider the set of numbers which are sums of (infinite, finite, or empty) subsequences. When the original sequence is not absolutely summable, the subsum set is an unbounded closed interval which…

We give a quintet of proofs resulting from questions posed by Erd\H{o}s. These questions concern ordinary lines in planar point sets, sequences with uniformly small exponential sums, $K_4$-free $4$-critical graphs with few chords in any…

In this paper we use the Recursion Theorem to show the existence of various infinite sequences and sets. Our main result is that there is an increasing sequence e_0, e_1, e_2 .. such that W_{e_n}={e_{n+1}} for every n. Similarly, we prove…

We consider gravity in 2+1 dimensions in presence of extended stationary sources with rotational symmetry. We prove by direct use of Einstein's equations that if i) the energy momentum tensor satisfies the weak energy condition, ii) the…

In the paper, we provide an effective method for the Lipschitz equivalence of two-branch Cantor sets and three-branch Cantor sets by studying the irreducibility of polynomials. We also find that any two Cantor sets are Lipschitz equivalent…

For a fixed integer $k \ge 0$, consider representations of positive integers as sums of binomial coefficients of the form $\binom{n}{k}$. While exact minimal bounds for the number of required summands are known only in a few low-dimensional…

We provide a simple proof of Kamp's theorem.

We provide a simple proof of Tchakaloff's Theorem on the existence of cubature formulas of degree $m$ for Borel measures with moments up to order $m$. The result improves known results for non-compact supports, since we do not need…

Let M be a II_1 factor, A a masa in M and E the unique conditional expectation on A. Under some technical assumptions on the inclusion of A in M, which hold true for any semiregular masa of a separable factor, we show that for every…

We prove that for any function $f$ satisfying certain mild conditions and any Cantor set $K$ with Newhouse thickness greater than $1$, there exists $x\in K$ and $t>0$ such that \[ \{x-t,x,x+f(t)\}\subset K. \] This is an extension of…

Turan's theorem implies that every graph of order n with more edges than the r-partite Turan graph contains a complete graph of order r+1. We show that the same premise implies the existence of much larger graphs. We also prove…

This paper provides some counterexamples to Cantor's contributions to the foundations of Set Theory. The first counterexample forces Cantor's Diagonal Method (DM) to yield one of the numbers in the target list. To study this anomaly, and…

R. Clausius proved Carnot's theorem basing on postulate "Heat cannot, of itself, pass from a colder to a hotter body". Alexander Gukhman demonstrated that Carnot's theorem can be proved based on the postulate "Heat cannot, of itself, pass…

A bijective proof is given for the following theorem: the number of compositions of n into odd parts equals the number of compositions of n + 1 into parts greater than one. Some commentary about the history of partitions and compositions is…

The famous Cantor-Bernstein-Schroder theorem (CBS-theorem for short) of set theory was generalized by Sikorski and Tarski to \sigma-complete Boolean algebras. After this, numerous generalizations of the CBS-theorem, extending the…