English

Twenty years of Ne\v{s}et\v{r}il's classification programme of Ramsey classes

Combinatorics 2025-11-03 v5 Discrete Mathematics History and Overview Logic

Abstract

In the 1970s, structural Ramsey theory emerged as a new branch of combinatorics. This development came with the isolation of the concepts of the A\mathbf{A}-Ramsey property and Ramsey class. Following the influential Ne\v{s}et\v{r}il-R\"odl theorem, several Ramsey classes have been identified. In the 1980s, Ne\v{s}et\v{r}il, inspired by a seminar of Lachlan, discovered a crucial connection between Ramsey classes and Fra\"iss\'e classes, and, in his 1989 paper, connected the classification programme of homogeneous structures to structural Ramsey theory. In 2005, Kechris, Pestov, and Todor\v{c}evi\'c revitalized the field by connecting Ramsey classes to topological dynamics. This breakthrough motivated Ne\v{s}et\v{r}il to propose a program for classifying Ramsey classes. We review the progress made on this program in the past two decades, list open problems, and discuss recent extensions to new areas, namely the extension property for partial automorphisms (EPPA), and big Ramsey structures.

Keywords

Cite

@article{arxiv.2501.17293,
  title  = {Twenty years of Ne\v{s}et\v{r}il's classification programme of Ramsey classes},
  author = {Jan Hubička and Matěj Konečný},
  journal= {arXiv preprint arXiv:2501.17293},
  year   = {2025}
}

Comments

109 pages, 12 figures. A postprint version adding some references