Abstract:Answering a conjecture of A. Sisto, J. Sahasrabudhe proved the exponential version of the Schur theorem: for every finite coloring of the naturals, there exists a monochromatic copy of $\{x,y,x^y:x\neq y\},$ which initiates the study of exponential Ramsey theory in arithmetic combinatorics. In this article, We first give two short proofs of the exponential Schur theorem, one using Zorn's lemma and another using $IP_r^\star$ van der Waerden's theorem. Then using the polynomial van der Waerden theorem iteratively we give a proof of the exponential Hindman theorem. Then applying our results we prove for every natural number $m,n$ the equation $x_n^{x_{n-1}^{\cdot^{\cdot^{\cdot^{x_1}}}}}=y_1\cdots y_m$ is partition regular, which can be considered as the exponential version of a more general version of the P. Csikvári, K. Gyarmati, and A. Sárközy conjecture, which was solved by V. Bergelson and N. Hindman independently. As a consequence of our results, we also prove that for every finite partition of $\mathbb{N},$ there exists two different sequences $\langle x_n\rangle_n$ and $\langle y_n\rangle_n$ such that both the multiplicative and exponential version of Hindman theorem generated by these sequences resp. are monochromatic, whereas in the counterpart in the finitary case, J. Sahasrabudhe proved that both sequences are the same. Our result can be considered as an exponential analog to the result of V. Bergelson and N. Hindman. We also prove that a large class of ultrafilters with certain properties do not exist, which could give us direct proof of the exponential Schur theorem. This result can be thought of as partial evidence of the nonexistence of Galvin-Glazer's proof of the exponential Hindman theorem.

Regressive versions of Hindman's theorem

Regressive versions of Hindman's Theorem

An inside/outside Ramsey theorem and recursion theory

Reverse mathematics and infinite traceable graphs

On the Weihrauch degree of the additive Ramsey theorem

Canonical theorems in geometric Ramsey theory

Large recurrence of the polynomial Van der Waerden's theorem and its application in Ramsey theory

Banach's theorem in higher order reverse mathematics

Non commutative multidimensional stronger Central Sets Theorem

Exponential Schur and Hindman Theorem in Ramsey Theory

Canonical Theorems for Colored Integers with Respect to Some Linear Combinations

The adjacent Hindman's theorem for uncountable groups

Localised variants of multilinear restriction

On sequential theorems in Reverse Mathematics

The reverse mathematics of the pigeonhole hierarchy

The Galvin-Prikry Theorem in the Weihrauch lattice

Restricted van der Waerden theorem for nilprogressions

On the logical strengths of partial solutions to mathematical problems

An intuitionistic version of Ramsey Theorem (italian version)

Some direct and inverse problems for the Restricted Signed sumset in set of integers

The tree pigeonhole principle in the Weihrauch degrees