Related papers: Georg Mohr's "Euclides Danicus" -- Preliminary Ver…
We give short elementary expositions of combinatorial proofs of some variants of Euler's partitition problem that were first addressed analytically by George Andrews, and later combinatorially by others. Our methods, based on ideas from a…
Given a II$_1$ factor M and a masa A of M, we prove a version of the Schur-Horn Theorem, together with a contractive version. These results are inspired on a recent conjecture of Arveson and Kadison (math.OA/0508482).
There is a long-standing conjecture attributed to I Schur that if $G$ is a finite group with Schur multiplier $M(G)$ then the exponent of $M(G)$ divides the exponent of $G$. It is easy to see that this conjecture holds for exponent 2 and…
Some personal thoughts on Sklar's theorem and copulas after reading the original paper (Sklar, 1959) in French.
A proof is given of Rosenthal's \(\ell_1\) theorem.
The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.
This is an English translation of Nikolai Chebotaryov's paper "Die Probleme der modernen Galoisschen Theorie" from 1932. An excerpt from this paper was given as a lecture at the International Congress of Mathematicians in Z\"urich in 1932.…
This note is an (exact) copy of the report of Jaak Peetre, "Generalizing Ovchinnikov's Theorem". Published as Technical Report, Lund (1981). Some more recent general references have been added, some references updated though (in italics)…
This is a work in two parts devoted to solutions of the so-called {\em four Landau's problems} in Number Theory, listed by Edmund Landau at the 1912 International Congress of Mathematics. In Part I the {\em Goldbach's conjecture} is proved.…
The roots of Discontinuous Galerkin (DG) methods is usually attributed to Reed and Hills in a paper published in 1973 on the numerical approximation of the neutron transport equation [18]. In fact, the adventure really started with a rather…
This is a companion to a paper by the authors entitled "G\"odel on deduction", which examined the links between some philosophical views ascribed to G\"odel and general proof theory. When writing that other paper, the authors were not…
Translation from the Latin of Euler's "Demonstratio theorematis circa ordinem in summis divisorum observatum" (1760). E244 in the Enestroem index. In his previous paper E243, Euler stated the pentagonal number theorem and assuming it proved…
We provide a new simple and transparent proof of the version of Kummer's test given in [Tong, J. (1994). Amer. Math. Monthly. 101(5): 450--452]. Our proof is based on an application of a Hardy--Littlewood Tauberian theorem.
The theory of multi-norms was developed by H.\ G.\ Dales and M.\ E.\ Polyakov in a memoir that was published in \emph{Dissertationes Mathematicae}. In that memoir, the notion of `equivalence' of multi-norms was defined. In the present…
We give a revision of the proof of a Mazur-Ulam theorem for generalized gyrovector spaces given in the paper "Generalized gyrovector spaces and a Mazur-Ulam theorem" published in Publ. Math. Debrecen, 87 (2015), 393--413.
The aim of this paper is to establish new inequalities for the Euler-Mascheroni by the continued fraction method.
First, we present a new proof of Glaisher's formula dating from 1900 and concerning Wilson's theorem modulo p^2. Our proof uses p-adic numbers and Faulhaber's formula for the sums of powers (17th century), as well as more recent results on…
Craig's Interpolation theorem has a wide range of applications, from mathematical logic to computer science. Proof-theoretic techniques for establishing interpolation usually follow a method first introduced by Maehara for the Sequent…
This article is a translation of Michael Sadowsky's original paper "Ein elementarer Beweis f\"ur die Existenz eines abwickelbaren M\"obiusschen Bandes und die Zur\"uckf\"uhrung des geometrischen Problems auf ein Variationsproblem." which…
Mordell in 1958 gave a new proof of the three squares theorem. Those techniques were generalized by Blackwell, et al., in 2016 to characterize the integers represented by the remaining six "Ramanujan-Dickson ternaries". We continue the…