arXiv++ Combinatorics

Browse math.CO papers from arXiv

The externally definable Ramsey property and fixed points on type spaces

Published: 2023-09-12 | Updated: 2024-12-27
Comments: final version: published in Arch. Math. Logic (2024)
Journal: Arch. Math. Logic, 64 (2025), no. 3, 605-635

Abstract

We discuss the externally definable Ramsey property, a weakening of the Ramsey property for ultrahomogeneous structures, where the only colourings considered are those that are externally definable: that is, definable with parameters in an elementary extension. We show a number of basic results analogous to the classical Ramsey theory, and show that, for an ultrahomogeneous structure M with countable age, the externally definable Ramsey property is equivalent to the dynamical statement that, for each natural number n, every subflow of the space of n-types with parameters in M has a fixed point. We discuss a range of examples, including results regarding the lexicographic product of structures.

BibTeX

Loading...