English
Related papers

Related papers: Structured sunflowers and canonical Ramsey propert…

200 papers

Based on an idea of Y. P\'eresse and some results of Maltcev, Mitchell and Ru\v{s}kuc, we present sufficient conditions under which the endomorphism monoid of a countably infinite ultrahomogeneous first-order structure has the Bergman…

Group Theory · Mathematics 2014-03-10 Igor Dolinka

A class of structures is said to have the homomorphism-preservation property just in case every first-order formula that is preserved by homomorphisms on this class is equivalent to an existential-positive formula. It is known by a result…

Logic in Computer Science · Computer Science 2009-03-08 Anuj Dawar

We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple…

Logic · Mathematics 2022-01-12 Ehud Hrushovski

In 2012 M. Soki\'c proved that the class of all finite permutations has the Ramsey property. Using different strategies the same result was then reproved in 2013 by J. B\"ottcher and J. Foniok, in 2014 by M. Bodirsky and in 2015 yet another…

Combinatorics · Mathematics 2017-10-31 Dragan Masulovic

The celebrated canonical Ramsey theorem of Erd\H{o}s and Rado implies that for $2\leq k\in \mathbb{N}$, any colouring of the edges of $K_n$ with $n$ sufficiently large gives a copy of $C_{2k}$ which has one of three canonical colour…

Combinatorics · Mathematics 2024-11-25 José D. Alvarado , Y. Kohayakawa , Patrick Morris , Guilherme O. Mota

We demonstrate the truth of the sunflower conjecture by showing that a family $\mathcal{F}$ of sets each of cardinality at most $m$ includes a $k$-sunflower, if $|\mathcal{F}| > ( c k )^{2m}$ for a constant $c>0$ independent of $m$ and $k$,…

Combinatorics · Mathematics 2026-04-29 Junichiro Fukuyama

Almost any reasonable class of finite relational structures has the Ramsey property or a precompact Ramsey expansion. In contrast to that, the list of classes of finite algebras with the precompact Ramsey expansion is surprisingly short. In…

Combinatorics · Mathematics 2023-03-13 Dragan Masulovic

In this paper we show that a countable structure admitting a finite monomorphic decomposition has finite big Ramsey degrees if and only if so does every monomorphic part in its minimal monomorphic decomposition. The necessary prerequisite…

Logic · Mathematics 2026-05-21 Dragan Mašulović , Veljko Toljić

Given an edge colouring of a graph with a set of $m$ colours, we say that the graph is (exactly) $m$-coloured if each of the colours is used. We consider edge colourings of the complete graph on $\mathbb{N}$ with infinitely many colours and…

Combinatorics · Mathematics 2016-09-07 Teeradej Kittipassorn , Bhargav Narayanan

Fix an integer $k\ge 3$. Call a set $A\subseteq [N]$ LCM-$k$-free if it does not contain distinct $a_1,\dots,a_k$ such that $\mathrm{lcm}(a_i,a_j)$ is the same for all $1\le i<j\le k$. Define $$ f_k(N):=\max\left\{\sum_{a\in A}\frac1a:…

Number Theory · Mathematics 2025-12-24 Quanyu Tang , Shengtong Zhang

Analogues of Ramsey's Theorem for infinite structures such as the rationals or the Rado graph have been known for some time. In this context, one looks for optimal bounds, called degrees, for the number of colors in an isomorphic…

Combinatorics · Mathematics 2022-06-03 Natasha Dobrinen

In this paper, we consider infinite words that arise as fixed points of primitive substitutions on a finite alphabet and finite colorings of their factors. Any such infinite word exhibits a "hierarchal structure" that will allow us to…

Combinatorics · Mathematics 2016-05-31 A. Bernardino , M. Silva , R. Pacheco

We introduce the notion of a {\it semi-retraction}. Given two structures $\A$ and $\B$, $\A$ is a semi-retraction of $\B$ if there exist quantifier-free type respecting maps $f: \B \raw \A$ and $g: \A \raw \B$ such that $f \circ g$ is an…

Logic · Mathematics 2020-11-03 Lynn Scow

The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent…

Combinatorics · Mathematics 2016-08-16 Frantisek Kardos , Daniel Kral , Anita Liebenau , Lukas Mach

We say that a subset $M$ of $\mathbb R^n$ is exponentially Ramsey if there are $\epsilon>0$ and $n_0$ such that $\chi(\mathbb R^n,M)\ge(1+\epsilon)^n$ for any $n>n_0$, where $\chi(\mathbb R^n,M)$ stands for the minimum number of colors in a…

Combinatorics · Mathematics 2026-02-03 Andrey Kupavskii , Arsenii Sagdeev , Dmitrii Zakharov

The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class…

Combinatorics · Mathematics 2018-02-06 Dragan Mašulović

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…

Logic · Mathematics 2012-10-30 Cameron Donnay Hill

The celebrated theorem of Kechris, Pestov and Todor\v{c}evi\'c connecting structural Ramsey theory with topological dynamics has as a consequence that the Fra\"{\i}ss\'e limit of a Ramsey class of non-trivial finite relational structures…

Logic · Mathematics 2025-12-08 Peter J. Cameron , Siavash Lashkarighouchani

We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite…

Combinatorics · Mathematics 2010-09-06 Jan Hubicka

We prove that for any homogeneous structure $\mathbf{K}$ in a language with finitely many relation symbols of arity at most two satisfying SDAP$^+$ (or LSDAP$^+$), there are spaces of subcopies of $\mathbf{K}$, forming subspaces of the…

Logic · Mathematics 2023-02-23 Natasha Dobrinen