Related papers: A proof of Fatou's interpolation theorem
We prove The Tate Thomason conjecture through Theorem 2.2. Fundamental is the work of R W Thomson and the proof also rests upon the theory of infinite abelian groups.
A carefully written Nirenberg's proof of the well known Gagliardo-Nirenberg interpolation inequality for intermediate derivatives in $\mathbb{R}^n$ seems, surprisingly, to be missing in literature. In our paper we shall first introduce this…
We give a new proof of the butterfly theorem, based on the use of several expressions involving the scale factor between the two wings.
The purpose of this note is to give an affirmative answer to a conjecture appearing in [Integral Transforms Spec. Funct. 26 (2015) 90-95].
The classical multidimensional version of Fatou's lemma (Schmeidler 1970) originally obtained for unconditional expectations and the standard non-negative cone in a finite-dimensional linear space is extended to conditional expectations and…
We will present a new proof of the Gromoll-Grove diameter rigidity theorem.
In this short paper we review and extract some features of the Fredholm Alternative problem .
This paper is a historical tour of occurrences of the Craig interpolation theorem and the Beth definability theorem in philosophy since the 1950s. We identify the notion of dependence as one major red thread behind these, and include some…
We prove Simon's conjecture for 3-manifolds.
We establish an analogue of the Goldbach conjecture for Laurent polynomials with positive integer coefficients.
A very short proof of G\"odel's second incompleteness theorem (for set theory, second order arithmetic etc.)
We present a new topological proof of the infinitude of prime numbers with a new topology. Furthermore, in this topology, we characterize the infinitude of any non-empty subset of prime numbers.
In 1989, Faltings proved the comparison theorem between \'etale cohomology and crystalline cohomology by studying Fontaine-Faltings modules and crystalline representations. In his paper, he mentioned these modules and representations can be…
Inspired by a recent preprint of N. Curien, we provided what may be a new and elementary proof of the Law of Large Numbers.
We provide a proof of the Borwein Conjecture using analytic methods.
In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of…
We give a new proof of a_4\phi_3 summation due to G.E. Andrews and confirm another_4\phi_3 summation conjectured by him recently. Some variations of these two_4\phi_3 summations are also given.
We prove that a curious generating series identity implies Faber's intersection number conjecture (by showing that it implies a combinatorial identity already given in arXiv:1902.02742) and give a new proof of Faber's conjecture by directly…
The main aim of the present paper is to represent an exact and simple proof for FLT by using properties of the algebra identities and linear algebra.
If L is a complete ortholattice, f any partial function from L^n to L, then there is a complete ortholattice L* containing L as a subortholattice, and an ortholattice polynomial with coefficients in L* which represents f on L^n. Iterating…