Related papers: Using Ramsey's Theorem Once

This paper mainly studies the ResLieDer pair in characteristic 2, that is, a restricted Lie algebra with a restricted derivation. We define the restricted representation of a ResLieDer pair and the corresponding cohomology complex. We show…

We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramsey's Theorem for pairs and the related principles COH and DNR. We show that SRT$^2_2$ implies DNR over RCA$_0$ but COH does not, and answer a…

We study the reverse mathematics of infinitary extensions of the Hales-Jewett theorem, due to Carlson and Simpson. These theorems have multiple applications in Ramsey's theory, such as the existence of finite big Ramsey numbers for the…

The tree theorem for pairs ($\mathsf{TT}^2_2$), first introduced by Chubb, Hirst, and McNicholl, asserts that given a finite coloring of pairs of comparable nodes in the full binary tree $2^{<\omega}$, there is a set of nodes isomorphic to…

We give the first examples of derived equivalences between varieties defined over non-closed fields where one has a rational point and the other does not. We begin with torsors over Jacobians of curves over Q and F_q(t), and conclude with a…

The purpose of this survey is to provide a gentle introduction to several recent breakthroughs in graph Ramsey theory. In particular, we will outline the proofs (due to various groups of authors) of exponential improvements to the diagonal,…

This paper is a contribution to the growing investigation of strong reducibilities between $\Pi^1_2$ statements of second-order arithmetic, viewed as an extension of the traditional analysis of reverse mathematics. We answer several…

We study the strength of $\RRT^3_2$, Rainbow Ramsey Theorem for colorings of triples, and prove that $\RCA + \RRT^3_2$ implies neither $\WKL$ nor $\RRT^4_2$. To this end, we establish some recursion theoretic properties of cohesive sets and…

We complete a 40-year old program on the computability-theoretic analysis of Ramsey's theorem, starting with Jockusch in 1972, and improving a result of Chong, Slaman and Yang in 2014. Given a set $X$, let $[X]^n$ be the collection of all…

In this article, we prove that Ramsey's theorem for pairs and two colors is a $\forall \Pi^0_4$ conservative extension of $\mathsf{RCA}_0 + \mathsf{B}\Sigma^0_2$, where a $\forall \Pi^0_4$ formula consists of a universal quantifier over…

Generalised indiscernibles highlight a strong link between model theory and structural Ramsey theory. In this paper, we use generalised indiscernibles as tools to prove results in both these areas. More precisely, we first show that a…

We both survey and extend a new technique from Lu Liu to prove separation theorems between products of Ramsey-type theorems over computable reducibility. We use this technique to show that Ramsey's theorem for $n$-tuples and three colors is…

We prove that $\mathsf{RCA}_0+\mathsf{RT}_2^2\not\rightarrow \mathsf{WKL}_0$ by showing that for any set $C$ not of PA-degree and any set $A$, there exists an infinite subset $G$ of $A$ or $\bar{A}$, such that $G\oplus C$ is also not of…

We will prove that $R_k(k+1,k+1)\geq 4 tw_{\lfloor k/4\rfloor -3}(2)$, where $tw$ is the tower function defined by ${tw}_1(x)=x$ and ${tw}_{i+1}(x)=2^{{tw}_i(x)}$. We also give proofs of $R_k(k+1,k+2)\geq 4 tw_{k-7}(2)$, $R_k(k+1,2k+1)\geq…

Using ideas from algebraic topology and statistical mechanics, we generalize Kirchhoff's network and matrix-tree theorems to finite CW complexes of arbitrary dimension. As an application, we give a formula expressing Reidemeister torsion as…

We show that the $k$-colour Ramsey number of an odd cycle of length $2 \ell + 1$ is at most $(4 \ell)^k \cdot k^{k/\ell}$. This proves a conjecture of Fox and is the first improvement in the exponent that goes beyond an absolute constant…

We study the positions in the Weihrauch lattice of parallel products of various combinatorial principles related to Ramsey's theorem. Among other results, we obtain an answer to a question of Brattka, by showing that Ramsey's theorem for…

We introduce the definability strength of combinatorial principles. In terms of definability strength, a combinatorial principle is strong if solving a corresponding combinatorial problem could help in simplifying the definition of a…

For a complete Riemannian manifold $M$ with an (1,1)-elliptic Codazzi self-adjoint tensor field $A$ on it, we use the divergence type operator ${L_A}(u): = div(A\nabla u)$ and an extension of the Ricci tensor to extend some major comparison…

In this paper, we give a form of refined Roth's theorem. As an application, we prove a special case of the $abc$-conjecture.