Infinite-dimensional structural Ramsey theory
The Galvin-Prikry theorem states that Borel subsets of the Baire space are Ramsey. Silver extended this to analytic sets, and Ellentuck gave a topological characterization of Ramsey sets in terms of the property of Baire in the Vietoris topology.
We present work extending these theorems to several classes of countable homogeneous structures. An obstruction to exact analogues of Galvin-Prikry or Ellentuck is the presence of big Ramsey degrees. We will discuss how different properties of the structures affect which analogues have been proved. Presented is work of the speaker for structures with SDAP$^+$, and joint work with Zucker for binary finitely constrained FAP classes. A feature of the work with Zucker is showing that we can weaken one of Todorcevic's four axioms guaranteeing a Ramsey space, and still achieve the same conclusion.