Related papers: A more reasonable proof of Cobham's theorem

We give an elementary and self-contained proof of the uniformization theorem for non-compact simply-connected Riemann surfaces.

It is generally accepted that Everett's theory of quantum mechanics cannot be experimentally tested as such experiment would involve operations on the observer which are beyond our current technology. We propose an alternative to test…

We use standard constructions in algebraic geometry and homological algebra to extend the decomposition and hard Lefschetz theorems of T. Mochizuki and C. Sabbah so that they remains valid without the quasi-projectivity assumptions.

We prove a new version of Hall's Harem Theorem, where the final matching is realized by a unary function with additional conditions on behavior of cycles. The present paper can be considered as a helpful companion of the paper of the…

We give a new proof of the main theorem in the theory of C(6) small cancellation complexes. We prove the fundamental theorem of cubical small cancellation theory for C(9) cubical small cancellation complexes.

In this paper we extend the classical Korovkin theorems to the framework of comonotone additive, sublinear and monotone operators. Based on the theory of Choquet capacities, several concrete examples illustrating our results are also…

The aim of this article is to establish new two-functions minimax inequalities extending classical results such as Simons' minimax theorem. Our results will be proved in a non-compact setting. We also prove, under general conditions, that…

We give a proof of the hard Lefschetz theorem for orbifolds that does not involve intersection homology. This answers a question of Fulton. We use a foliated version of the hard Lefschetz theorem due to El Kacimi.

I give a simpler proof of the generalisation of Engel's Theorem to Leibniz algebras.

This note is an exposition of the proof of Thom's conjecture by Kronheimer and Mrowka, using the new Seiberg-Witten invariants.

We show that a single special separation theorem (namely, a consequence of the geometric form of the Hahn-Banach theorem) can be used to prove Farkas type theorems, existence theorems for numerical quadrature with positive coefficients, and…

In this paper, using the concept of $A$-statistical convergence which is a regular (non-matrix) summability method, we obtain a general Korovkin type approximation theorem which concerns the problem of approximating a function $f$ by means…

We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.

We review the de Broglie-Bohm quantum theory. It is an alternative description of quantum phenomena in accordance with all the quantum experiments already performed. Essentially, it is a dynamical theory about objectively real trajectories…

We give a simple proof of the exponential de Finetti theorem due to Renner. Like Renner's proof, ours combines the post-selection de Finetti theorem, the Gentle Measurement lemma, and the Chernoff bound, but avoids virtually all…

We present a short proof of Jin's theorem which is entirely elementary, in the sense that no use is made of nonstandard analysis, ergodic theory, measure theory, ultrafilters, or other advanced tools. The given proof provides the explicit…

Let $A$ be a finite-dimensional algebra over an algebraically closed field $\Bbbk$. For any finite-dimensional $A$-module $M$ we give a general formula that computes the indecomposable decomposition of $M$ without decomposing it, for which…

A version of Bohm's model incorporating retrocausality is presented, the aim being to explain the nonlocality of Bell's theorem while maintaining Lorentz invariance in the underlying ontology. The strengths and weaknesses of this…

In this work we present a simplifyed proof of Kantorovich's Theorem on Newton's Method. This analysis uses a technique which has already been used for obtaining new extensions of this theorem.

We present a very simple example of a theorem with constructive and non-constructive proofs: the equation c^2 x^2 - (c^2 + c)x + c = 0 has a solution.