arXiv subjects

Leonardo Mainardi

Publications and source records attributed to Leonardo Mainardi.

2 recordsLinked to original sources

arXiv2024

Reductions of well-ordering principles to combinatorial theorems

A well-ordering principle is a principle of the form: If $X$ is well-ordered then $F(X)$ is well-ordered, where $F$ is some natural operator transforming linear orders into linear orders. Many important subsystems of Second-order Arithmetic of interest in Reverse Mathematics are known to be equivalent to well-ordering principles. We give a unified treatment for proving lower bounds on the logical strength of various Ramsey-theoretic principles relations using characterizations of the corresponding formal systems in terms of well-ordering principles. Our implications (over $RCA_0$) from combinatorial theorems to $ACA_0$ and $ACA_0^+$ also establish uniform computable reductions of the corresponding well-ordering principles to the corresponding Ramsey-type theorems.

math.LO↗

arXiv2024

Regressive versions of Hindman's Theorem

When the Canonical Ramsey's Theorem by Erdős and Rado is applied to regressive functions one obtains the Regressive Ramsey's Theorem by Kanamori and McAloon. Taylor proved a "canonical" version of Hindman's Theorem, analogous to the Canonical Ramsey's Theorem. We introduce the restriction of Taylor's Canonical Hindman's Theorem to a subclass of the regressive functions, the $λ$-regressive functions, relative to an adequate version of min-homogeneity and prove some results about the Reverse Mathematics of this Regressive Hindman's Theorem and of natural restrictions of it. In particular we prove that the first non-trivial restriction of the principle is equivalent to Arithmetical Comprehension. We furthermore prove that this same principle strongly computably reduces the well-ordering-preservation principle for base-$ω$ exponentiation.

math.LO↗