Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups

From MaRDI portal
Publication:2575145



Abstract: We study in this paper some connections between the Fraisse theory of amalgamation classes and ultrahomogeneous structures, Ramsey theory, and topological dynamics of automorphism groups of countable structures.


The Fraïssé theory concerns structures \(\langle A,\{R^A_i\}_{i\in I},\{f^A_j\}_{j\in J}\rangle\) for a language \(L\) based on countable sets of relation symbols \(R_i\) and function symbols \(f_j\). If \(A\) and \(B\) are structures for \(L\), then \(A\leq B\) means that \(A\) is a substructure of \(B\). A class \(K\) of finite structures for \(L\) satisfying certain conditions is called a Fraïssé class. A class \(K\) is said to have the Ramsey property if for every \(A\leq B\) in \(K\) there is \(C\in K\) with \(B\leq C\) and if \(K\) satisfies a certain additional condition. If the language \(L\) contains a distinguished binary relation symbol \(<\), then a structure \(A\) for \(L\) is called an order structure if \(<^A\) is a linear ordering on \(A\). The authors consider automorphism groups \(\Aut(A)\) of countably infinite structures \(A\). Among other results obtained they show that the extremely amenable closed subgroups of \(S_\infty\) are exactly the groups of the form \(\Aut(A)\), where \(A\) is the Fraïssé limit of Fraïssé order class with the Ramsey property.




Cited in
(only showing first 100 items - show all)








This page was built for publication: Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups

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