English
Related papers

Related papers: A Dual Ramsey Theorem for Permutations

200 papers

A first-order structure $M$ is said to have the infinite sunflower property if, for each $k \in \mathbb{N}_+$ and each structure $M' \cong M$ whose elements are $k$-sets, there is $S \subseteq M'$, $S \cong M$, such that $S$ is a sunflower:…

Combinatorics · Mathematics 2026-03-10 Rob Sullivan , Jeroen Winkel

We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for regularly branching trees. Our theorem has a number of…

Close connections between various notions of entropy and the apparatus of category theory have been observed already in the 1980s and more vigorously developed in the past ten years. The starting point of the paper is the recent categorical…

Combinatorics · Mathematics 2022-04-25 Dragan Mašulović

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…

Combinatorics · Mathematics 2015-05-28 Manuel Bodirsky

Ramsey's theorem states that each coloring has an infinite homogeneous set, but these sets can be arbitrarily spread out. Paul Erdos and Fred Galvin proved that for each coloring f, there is an infinite set that is "packed together" which…

Logic · Mathematics 2013-02-12 Stephen Flood

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…

Logic · Mathematics 2020-02-26 Samuel Braunfeld , Pierre Simon

We conduct a computability-theoretic study of Ramsey-like theorems of the form "Every coloring of the edges of an infinite clique admits an infinite sub-clique avoiding some pattern", with a particular focus on transitive patterns. As it…

Logic · Mathematics 2025-07-11 Quentin Le Houérou , Ludovic Patey

In recent years, there has been much progress in the field of structural Ramsey theory, in particular in the study of big Ramsey degrees. In all known examples of infinite structures with finite big Ramsey degrees, there is in fact a single…

Logic · Mathematics 2025-10-01 Jan Hubička , Andy Zucker

We resolve a conjecture of Cooper-Fenner-Purewal that a certain sequence of combinatorial matrices which can be used to bound small product-Ramsey numbers is positive semidefinite. Because the connection to Ramsey Theory involves solving…

Combinatorics · Mathematics 2017-05-01 Joshua Cooper , Maxwell Forst

It was shown in \cite{sc12} that for a certain class of structures $\I$, $\I$-indexed indiscernible sets have the modeling property just in case the age of $\I$ is a Ramsey class. We expand this known class of structures from ordered…

Logic · Mathematics 2016-02-10 Lynn Scow

Let $\mathbf{k}$ denote the totally ordered set (or chain) on $k$ elements. The product $\mathbf{k}^t=\mathbf{k}\times\cdots\times\mathbf{k}$ is a poset called a grid. This paper discusses several loosely related results on the Ramsey…

Combinatorics · Mathematics 2022-06-30 Csaba Biró , Sida Wan

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…

Combinatorics · Mathematics 2025-01-03 António Girão , Gal Kronenberg , Alex Scott

We study the Ramsey property for vector spaces over finite fields with bilinear forms. We prove that symplectic spaces over finite fields do not have the Ramsey property. We also describe vector spaces with skew symmetric bilinear forms and…

Logic · Mathematics 2025-03-12 Aleksander Ivanov , Frédéric Jaffrennou

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…

Combinatorics · Mathematics 2012-10-03 Slawomir Solecki

We further develop the theory of layered semigroups, as introduced by Farah, Hindman and McLeod, providing a general framework to prove Ramsey statements about such a semigroup $S$. By nonstandard and topological arguments, we show Ramsey…

Combinatorics · Mathematics 2021-04-26 Jordan Mitchell Barrett

In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in…

Logic · Mathematics 2020-04-22 José Gil-Férez , Peter Jipsen , George Metcalfe

In this paper we prove a general theorem showing the extension property for partial automorphisms (EPPA, also called the Hrushovski property) for classes of structures containing relations and unary functions, optionally equipped with a…

Combinatorics · Mathematics 2022-01-25 Jan Hubička , Matěj Konečný , Jaroslav Nešetřil

The purpose is to study the strength of Ramsey's Theorem for pairs restricted to recursive assignments of $k$-many colors, with respect to Intuitionistic Heyting Arithmetic. We prove that for every natural number $k \geq 2$, Ramsey's…

Logic · Mathematics 2016-01-11 Stefano Berardi , Silvia Steila

This is Part II of a two-part series regarding Ramsey properties of Fraisse structures satisfying a property called SDAP+, which strengthens the Disjoint Amalgamation Property. In Part I, we prove that every Fraisse structure in a finite…

Combinatorics · Mathematics 2022-07-15 Rebecca Coulson , Natasha Dobrinen , Rehana Patel

In this paper, we prove stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category $\mathbf{OrI}(R)$ and prove a Noetherianity theorem for the…

Representation Theory · Mathematics 2023-12-14 Zifan Wang , Arun S. Kannan