Related papers: A higher order Weierstrass approximation theorem -…

We give an abstract approach to the results of Adams and Nobel, [1]. It allows to exhibit a new property of VC classes. It should be stressed that the basic ideas of proofs can be found in [1].

This is a literal word-for-word translation from the French of Phragmen's proof (the first such published) of Weierstrass' famous theorem characterizing all analytic functions which possess an algebraic addition theorem.

We present a new twist on an old identity.

We give a more coherent definition of upward planar order.

We prove an improved form of an expectation of Polya and discuss several related questions

I exemplify part of my recent work on the upper halfplane.

An equivalent but useful version on the Homological Nerve Theorem is proved.

We present a short new proof of the canonical polynomial van der Waerden theorem, recently established by Girao [arXiv:2004.07766].

We prove some theorems which give sufficient conditions for the existence of prime numbers among the terms of a sequence which has pairwise relatively prime terms.

In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…

New version, including a variant of Quillen's proof of the Solomon-Tits theorem.

A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector,…

A variation on the splitting principle

We prove new results, related to the Littlewood and Mixed Littlewood conjectures in Diophantine approximation.

We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…

A brief exposition of the point of higher topos theory in (mathematical) physics, commissioned for the Encyclopedia of Mathematical Physics 2nd ed.

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

In this paper, we derive a new proof on some sharp double integral inequalities of the Hermite-Hadamard type. Our approach is mainly based on well-known Taylor's theorem with the integral remainder.

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 present in this work a new and simple proof of the false centre theorem.