Ramsey transfer to semi-retractions

Abstract

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 embedding. We say that a structure has the Ramsey property if its age does. Given two locally finite ordered structures $\A$ and $\B$, if $\A$ is a semi-retraction of $\B$ and $\B$ has the Ramsey property, then $\A$ also has the Ramsey property. We introduce notation for what we call semi-direct product structures, after the group construction known to preserve the Ramsey property.~\cite{kpt05} We introduce the notion of a color-homogenizing map, and use this notion to give a finitary argument that the semi-direct product structure of ordered relational structures with the Ramsey property must also have the Ramsey property. Finally, we characterize NIP theories using a generalized indiscernible sequence indexed by a semi-direct product structure.

arXiv commentfinal version, changed title

References in corpus (3)

• Ramsey transfer to semi-retractions
• Bowtie-free graphs have a Ramsey lift
• A survey on structural Ramsey theory and topological dynamics with the Kechris-Pestov-Todorcevic correspondence in mind

Cited by in corpus (11)

• Ramsey transfer to semi-retractions
• Tree indiscernibilities, revisited
• On n-dependence
• Indiscernibles, EM-types, and Ramsey Classes of Trees
• A note on stability and NIP in one variable
• A separation theorem for simple theories
• A new look at interpretability and saturation
• Generalized Indiscernibles as Model-complete Theories
• On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
• Shearing in some simple rank one theories
• On positive local combinatorial dividing-lines in model theory