Related papers: The reverse mathematics of Cousin's lemma

Affine continuous logic is extended to affine integration logic. Affine compactness theorem is proved by both the ultramean construction and Henkin's method. Also, a proof system and a completeness theorem are given. An appropriate variant…

Given a super-integrable system in $n$ degrees of freedom, possessing an integral which is linear in momenta, we use the "Kaluza-Klein construction" in reverse to reduce to a lower dimensional super-integrable system. We give two examples…

We present new generalized Cline's formula and Jacobson's lemma for the g-Drazin inverse in a ring. These extend many known results, e.g., Chen and Abdolyousefi (Generalized Jacobson's Lemma in a Banach algebra, Comm. Algebra, {\bf…

We show that Brown's lemma is equivalent to Sigma02-induction over RCA0* and that the finite version of Brown's lemma is provable in RCA0 but not in RCA0*.

We introduce a class of integral theorems based on cyclic functions and Riemann sums approximating integrals. The Fourier integral theorem, derived as a combination of a transform and inverse transform, arises as a special case. The…

We establish a Sewing lemma in the regime $\gamma \in \left( 0, 1 \right]$, constructing a Sewing map which is neither unique nor canonical, but which is nonetheless continuous with respect to the standard norms. Two immediate corollaries…

We give a brief account and a simpler proof of a contour integral formula for the Gauss hypergeometric function. Such formula is alternative to Barnes's integral formula and generalizes the first Barnes Lemma.

In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that for all alpha < theta with cf(alpha)=…

There have been, over the last 8 years, a number of far reaching extensions of the famous original F. and M. Riesz's uniqueness theorem that states that if a bounded analytic function in the unit disc of the complex plane $\Bbb C$ has the…

It is not hard to prove that a uniformly continuous real function, whose integral up to infinity exists, vanishes at infinity, and it is probably little known that this statement runs under the name "Barbalat's Lemma." In fact, the latter…

Recently, we have established and used the generalized Littlewood theorem concerning contour integrals of the logarithm of analytical function to obtain new criteria equivalent to the Riemann hypothesis. Later, the same theorem was applied…

This paper initiates the reverse mathematics of social choice theory, studying Arrow's impossibility theorem and related results including Fishburn's possibility theorem and the Kirman--Sondermann theorem within the framework of reverse…

Within the gossamer numbers which extend the real numbers to include infinitesimals and infinities we prove the Fundamental Theorem of Calculus (FTC). Riemann sums are also considered in the gossamer number system, and their non-uniqueness…

In this paper, we establish a coupling lemma for standard families in the setting of piecewise expanding interval maps with countably many branches. Our method merely requires that the expanding map satisfies Chernov's one-step expansion at…

In this note we compare two measures of the complexity of a class $\mathcal F$ of Boolean functions studied in (unconditional) pseudorandomness: $\mathcal F$'s ability to distinguish between biased and uniform coins (the coin problem), and…

We prove a version of Gauss's Lemma. It recursively constructs polynomials {c_k} for k=0,1,...,m+n, in Z[a_i,A_i,b_j,B_j] for i=0,...,m, and j=0,1,...,n, having degree at most (m+n choose m) in each of the four variable sets, such that…

We present a constructive proof of Brouwer's fixed point theorem for uniformly continuous and sequentially locally non-constant functions based on the existence of approximate fixed points. And we will show that Brouwer's fixed point…

The classical Arzela-Ascoli theorem is a compactness result for families of functions depending on bounds on the derivatives of the functions, and is of invaluable use in many fields of mathemathics. In this paper, inspired by a result of…

This paper focuses on the Bregman divergence defined by the reciprocal function, called the inverse divergence. For the loss function defined by the monotonically increasing function $f$ and inverse divergence, the conditions for the…

A common feature of systems of conservation laws of continuum physics is that they are endowed with natural companion laws which are in such case most often related to the second law of thermodynamics. This observation easily generalizes to…