Related papers: A Simple Proof of McNaughton Theorem

This expository paper, aimed at the reader without much background in set theory or logic, gives an overview of Cohen's proof (via forcing) of the independence of the continuum hypothesis. It emphasizes the broad outlines and the intuitive…

A special theorem related to the Fagnano's problem is proved and an example of the theorem is shown in a golden rectangle.

G\"odel's first and second incompleteness theorems are corner stones of modern mathematics. In this article we present a new proof of these theorems for ZFC and theories containing ZFC, using Chaitin's incompleteness theorem and a very…

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.

We give a new proof of Lucas' Theorem in elementary number theory.

In this note we provide a new proof of the Tikhonov theorem for the infinite time interval and discuss some of its applications.

The paper contains an alternative proof of M. Kontsevich Formality Theorem.

We present a short and self-contained proof of the choosability version of Brooks' theorem.

This article provides a simple proof of the quadratic formula, which also produces an efficient and natural method for solving general quadratic equations. The derivation is computationally light and conceptually natural, and has the…

In a recent talk of Robbert Fokkink, some conjectures related to the infinite Tribonacci word were stated by the speaker and the audience. In this note we show how to prove (or disprove) the claims easily in a "purely mechanical" fashion,…

We introduce a class of non-Moufang loops satisfying the Moufang's theorem.

We give a direct proof of the Cotlar-Stein lemma, which does not rely on the power trick.

In this note, we state various generalisations of the Nakano vanishing theorem under weak positivity assumptions, and compare them with the known results.

This paper has been withdrawn by the author. The statement of the Main Theorem but is wrong in general, there have been provided counterexamples. The main theorem only holds conditionally, under the finiteness statement of theorem 2.8.

Wedderburn's theorem on the structure of finite dimensional semisimple algebras is proved by using minimal prerequisites.

We give a new proof of quantum Shannon-McMillan theorem, extending it to AF $C^*$-systems. Our proof is based on the variational principle, instead of the classical Shannon-McMillan theorem.

In this paper we present a short and elementary proof for the error in Simpson's rule.

We present a proof of the Chevalley-Weil Theorem that is somewhat different from the proofs appearing in the literature and with somewhat weaker hypotheses, of purely topological type. We also provide a discussion of the assumptions, and an…

We provide an alternative, simpler proof of the existence of thick triangulations for noncompact $\mathcal{C}^1$ manifolds. Moreover, this proof is simpler than the original one given in \cite{pe}, since it mainly uses tools of elementary…

We expose here a short proof of Cramer's theorem in R based on convex duality.