Speaker: Dana Bartosova (University of Florida)
Title: What do topological dynamics, combinatorics, and model theory have in common?
Abstract: A striking correspondence between dynamics of automorphism groups of countable first order structures and Ramsey theory of finitary approximation of the structures was established in 2005 by Kechris, Pestov, and Todocevic. Since then, their work has been generalized and applied in many directions. It also struck a fresh wave of interest in finite Ramsey theory. Many classes of finite structures are shown to have the Ramsey property by encoding their problem in a known Ramsey class and translating a solution back. This is often a case-by-case approach and naturally there is a great need for abstracting the process. There has been much success on this front, however, none of the tools captures every situation. We will discuss one such encoding via a model-theoretic notion of semi-retraction introduced by Lynn Scow in 2012. In a joint work, we showed that a semi-retraction transfers the Ramsey property from one class of structures to another under quite general conditions. We compare semi-retractions to a category-theoretical notion of pre-adjunction revived by Mašulović in 2016. If time permits, I will mention a transfer theorem of the Ramsey property from a class of finite structures to their uncountable ultraproducts, which is an AIMSQuaRE project with Džamonja, Patel, and Scow.