Fraisse classes with simply characterized big Ramsey degrees
From MaRDI portal
Publication:6350558
arXiv2010.02034MaRDI QIDQ6350558FDOQ6350558
Authors: Rebecca Coulson, Natasha Dobrinen, Rehana Patel 
Publication date: 5 October 2020
Abstract: We formulate a property strengthening the Disjoint Amalgamation Property and prove that every Fraisse structure in a finite relational language with relation symbols of arity at most two having this property has finite big Ramsey degrees which have a simple characterization. It follows that any such Fraisse structure admits a big Ramsey structure. Furthermore, we prove indivisibility for every Fraisse structure in an arbitrary finite relational language satisfying this property. This work offers a streamlined and unifying approach to Ramsey theory on some seemingly disparate classes of Fraisse structures. Novelties include a new formulation of coding trees in terms of 1-types over initial segments of the Fraisse structure, and a direct characterization of the degrees without appeal to the standard method of "envelopes".
Trees (05C05) Coloring of graphs and hypergraphs (05C15) Generalized Ramsey theory (05C55) Ramsey theory (05D10) Model theory of denumerable and separable structures (03C15) Applications of set theory (03E75)
This page was built for publication: Fraisse classes with simply characterized big Ramsey degrees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6350558)
