Ramsey transfer to semi-retractions

DOI10.1016/J.APAL.2020.102891zbMATH Open1498.03077arXiv1706.05558OpenAlexW4206931973MaRDI QIDQ2220481FDOQ2220481

Authors: Lynn Scow 

Publication date: 25 January 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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:BawA$ and $g:AawB$ such that $fcircg$ 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.

Full work available at URL: https://arxiv.org/abs/1706.05558

Recommendations

• Semilattices and the Ramsey property
• Ramsey properties and extending partial automorphisms for classes of finite structures
• All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms)
• Ramsey properties for classes of relational systems
• Reducts of Ramsey structures

zbMATH Keywords

Ramsey classesmodeling propertyordered structuresNIP theoriesgeneralized indiscernible sequences

Mathematics Subject Classification ID

Other model constructions (03C30) Classification theory, stability, and related concepts in model theory (03C45) Abstract model theory (03C95) Ramsey theory (05D10)

Cites Work

• Title not available (Why is that?)
• Quasi finitely axiomatizable totally categorical theories
• The partite construction and Ramsey set systems
• Partitions of finite relational and set systems
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• Models Without Indiscernibles
• Title not available (Why is that?)
• Ramsey properties of finite posets
• Ramsey properties of finite posets. II
• Sur l'extension aux relations de quelques propriétés des ordres
• Bowtie-free graphs have a Ramsey lift
• Ramsey Classes and Homogeneous Structures
• Ramsey classes: examples and constructions
• A survey on structural Ramsey theory and topological dynamics with the Kechris-Pestov-Todorcevic correspondence in mind
• Title not available (Why is that?)
• Characterization of NIP theories by ordered graph-indiscernibles
• Indiscernibles, EM-types, and Ramsey classes of trees
• Tree indiscernibilities, revisited
• Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles
• Semilattices and the Ramsey property
• Title not available (Why is that?)
• On the number of minimal models

Cited In (3)

• Positive indiscernibles
• A new perspective on semi-retractions and the Ramsey property
• Products of classes of finite structures

This page was built for publication: Ramsey transfer to semi-retractions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2220481)