Related papers: The reverse mathematics of Cousin's lemma
Using the log-convexity of the Gamma function and Euler's reflection formula, we give a new proof of a classical weighted sine product inequality. Two different parameter choices yield two competing upper bounds for the same product. We…
This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between…
We calculate the constant term of Coleman power series and use it to prove an analogue of Iwasawa Main Conjecture in function fields of characteristic p>0 using Euler systems. This result is proved by a similar method of classical proof of…
The stable Ramsey's theorem for pairs has been the subject of numerous investigations in mathematical logic. We introduce a weaker form of it by restricting from the class of all stable colorings to subclasses of it that are non-null in a…
The notion of well order admits an alternative definition in terms of embeddings between initial segments. We use the framework of reverse mathematics to investigate the logical strength of this definition and its connection with…
Kruskal's theorem famously states that finite trees (ordered using an infima-preserving embeddability relation) form a well partial order. Freund, Rathjen, and Weiermann extended this result to general recursive data types with their…
Let $R$ be an associative ring with unit $1$, and $a, b, c\in R$ satisfy $a(ba)^{2}=abaca=acaba=(ac)^{2}a$, this paper proves that $1-ac$ has generalized Drazin inverse (Drazin inverse, pseudo Drazin inverse, respectively) if and only if…
We study equilibrium statistical mechanics of classical point counter-ions, formulated on 2D Euclidean space with logarithmic Coulomb interactions (infinite number of particles) or on the cylinder surface (finite particle numbers), in the…
We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
The Lebesgue dominated convergence theorem of the measure theory implies that the Riemann integral of a bounded sequence of continuous functions over the interval [ 0,1] pointwise converging to zero, also converges to zero. The validity of…
In this short paper, I recall the history of dealing with the lack of compactness of a sequence in the case of an unbounded domain and prove the vanishing Lions-type result for a sequence of Lebesgue-measurable functions. This lemma…
We relate the variance theory for Cousin complexes -^# developed by Lipman, Nayak and the author to Grothendieck duality for Cousin complexes. Specifically for a Cousin complex F on (Y, \Delta)--with \Delta a codimension function on a…
This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long…
An open question in reverse mathematics is whether the cohesive principle, $\COH$, is implied by the stable form of Ramsey's theorem for pairs, $\SRT^2_2$, in $\omega$-models of $\RCA$. One typical way of establishing this implication would…
In a famous paper, R. A. Gordon proved a dozen theorems using tagged partitions and Cousin's theorem. The purpose of this paper is to present several classical results using the key-lemma underlying Cousin's theorem.
We explore the connections between Dickson's lemma and weak Ramsey theory. We show that a weak version of the Paris--Harrington principle for pairs in $c$ colors and miniaturized Dickson's lemma for $c$-tuples are equivalent over…
The Kruskal-Friedman theorem asserts: in any infinite sequence of finite trees with ordinal labels, some tree can be embedded into a later one, by an embedding that respects a certain gap condition. This strengthening of the original…
Let A be a Banach algebra, and let a; b; c 2 A satisfying a(ba)^2 = abaca = acaba = (ac)^2a: We prove that 1 - ba\in A^d if and only if 1 - ac \in A^d. In this case, (1-ac)^d =1-a(1-ba)^{\pi}(1-\alpha(1+ba))^{-1}bac (1+ac)+a((1-ba)^d)bac.…
We investigate the logical strength of the cohesiveness principle when restricted to finite sequences of sets, denoted by fin-COH, over different base theories. Our main result shows that fin-COH entails $I\Sigma_1^0$ over the weaker base…