Related papers: Ramsey's coheirs
In this paper, we give a conjecture, which generalises Euler's partition theorem involving odd parts and different parts for all moduli. We prove this conjecture for two family partitions. We give $q$-difference equations for the related…
The main results of this paper (a) extend the finite Ramsey partition theorem, and (b) employ this extension to obtain a stronger form of the infinite Nash-Williams partition theorem, and also a new proof of Ellentuck's, and hence…
In this thesis, we investigate the computational content and the logical strength of Ramsey's theorem and its consequences. For this, we use the frameworks of reverse mathematics and of computable reducibility. We proceed to a systematic…
This article discusses some recent trends in Ramsey theory on infinite structures. Trees and their Ramsey theory have been vital to these investigations. The main ideas behind the author's recent method of trees with coding nodes are…
The aim of this paper is to study the cohomology theory of Reynolds Lie algebras equipped with derivations and to explore related applications. We begin by introducing the concept of Reynolds LieDer pairs. Subsequently, we construct the…
A conjecture of Leader, Russell and Walters in Euclidean Ramsey theory says that a finite set is Ramsey if and only if it is congruent to a subset of a set whose symmetry group acts transitively. As they have shown the ``if" direction of…
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,…
General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…
I prove forcing preservation theorems for products of definable partial orders preserving the cofinality of the meager or null ideal. Rectangular Ramsey theorems for related ideals follow from the proofs.
The Borel covering property, introduced a century ago by E. Borel, is intimately connected with Ramsey theory, initiated ninety years ago in an influential paper of F.P. Ramsey. The current state of knowledge about the connection between…
When the Canonical Ramsey's Theorem by Erd\H{o}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…
First, we prove a theorem on dynamics of actions of monoids by endomorphisms of semigroups. Second, we introduce algebraic structures suitable for formalizing infinitary Ramsey statements and prove a theorem that such statements are implied…
In recent years, there has been a substantial amount of work in reverse mathematics concerning natural mathematical principles that are provable from $\RT$, Ramsey's Theorem for Pairs. These principles tend to fall outside of the "big five"…
We give a new presentation for the partition algebras. This presentation was discovered in the course of establishing an inductive formula for the partition algebra Jucys-Murphy elements defined by Halverson and Ram [European J. Combin. 26…
This article is concerned with classes of relational structures that are closed under taking substructures and isomorphism, that have the joint embedding property, and that furthermore have the Ramsey property, a strong combinatorial…
In this paper, we construct a new homology theory for semi-groups satisfying the self distributivity axiom or the idempotency axiom. Next, we consider the geometric realization corresponding to the homology theory. We continue with the…
This short note establishes an abstract Hales--Jewett theorem for semigroups equipped with a finite family of retractions. The proof relies on the interplay between retractions and tensor products of ultrafilters.
For a partial Galois extension of commutative rings we give a seven terms sequence, which is an analogue of the Chase-Harrison-Rosenberg sequence.
I will give a presentation of an abstract approach to finite Ramsey theory found in an earlier paper of mine. I will prove from it a common generalization of Deuber's Ramsey theorem for regular trees and a recent Ramsey theorem of Jasinski…
We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It…