Related papers: Ramsey Theory and the Borel Conjecture
The structural Ramsey theory is a field on the boundary of combinatorics and model theory with deep connections to topological dynamics. Most of the known Ramsey classes in finite binary symmetric relational language can be shown to be…
A finite set $X$ in some Euclidean space $R^n$ is called Ramsey if for any $k$ there is a $d$ such that whenever $R^d$ is $k$-coloured it contains a monochromatic set congruent to $X$. This notion was introduced by Erdos, Graham,…
In this paper we establish an exponential covering theorem implying a conjecture formulated by A. Zygmund circa 1935 whose three-dimensional case was obtained by the first named author in 1978.
We introduce the notion of the algebraic overshear density property which implies both the algebraic notion of flexibility and the holomorphic notion of the density property. We investigate basic consequences of this stronger property, and…
We consider a Borel subalgebra $\fg$ of the general linear algebra and its subalgebra $\BB$ which is a Borel subalgebra of the special linear algebra, over arbitrary field. Let $\cL\in\{\fg, \BB\}$. We establish here explicit realizations…
Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…
Ramsey theory for words over a finite alphabet was unified in the work of Carlson and Furstenberg-Katznelson. Carlson, in the same work, outlined a method to extend the theory for words over an infinite alphabet, but subject to a fixed…
Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant…
Suppose we are given a computably enumerable object arise from algorithmic randomness or computable analysis. We are interested in the strength of oracles which can compute an object that approximates this c.e. object. It turns out that,…
We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply…
In this paper we study a very general finite Ramsey theorem, where both the sets being colored and the homogeneous set must satisfy some largeness notion. For the homogeneous set this has already been done using the notion of…
Let $(\mathfrak{g},[p])$ be a finite-dimensional restricted Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $p>0$, and $G$ be the adjoint group of $\mathfrak{g}$. We say that $\mathfrak{g}$ satisfying the {\sl…
Ramsey theory is a central and active branch of combinatorics. Although Ramsey numbers for graphs have been extensively investigated since Ramsey's work in the 1930s, there is still an exponential gap between the best known lower and upper…
In this series of papers, we advance Ramsey theory of colorings over partitions. In this part, a correspondence between anti-Ramsey properties of partitions and chain conditions of the natural forcing notions that homogenize colorings over…
Partition regularity over algebraic structures is a topic in Ramsey theory that has been extensively researched by combinatorialists. Motivated by recent work in this area, we investigate the computability-theoretic and reverse-mathematical…
As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order. This is an infinitary extension of the well known fact that finite partial orders endowed with linear extensions form a Ramsey…
In 2005, Kechris, Pestov and Todorcevic established a surprising correspondence between structural Ramsey theory and topological dynamics. As an immediate consequence, it triggered a new interest for structural Ramsey theory. The purpose of…
We introduce properties of metric spaces and, specifically, finitely generated groups with word metrics which we call coarse coherence and coarse regular coherence. They are geometric counterparts of the classical algebraic notion of…
We prove a Ramsey theorem for finite sets equipped with a partial order and a fixed number of linear orders extending the partial order. This is a common generalization of two recent Ramsey theorems due to Soki\'c. As a bonus, our proof…
We study quadrangular properties of binary relations on a set $X$~--i.e., properties defined on configurations of four elements--~within an agonistic interpretation, where $xRy$ is interpreted as $x$ ``attacks''~$y$. Such relations induce a…