Finite Ramsey degrees and Fraïssé expansions with the Ramsey property
Abstract
By a result of Zucker, every Fraïssé structure $\bf F$ for which the elements of $\mathrm{Age}(\bf F)$ have finite Ramsey degrees admits a Fraïssé precompact expansion $\bf F^{*}$ whose age $\mathrm{Age}(\bf F^{*})$ has the Ramsey property. While the original method uses dynamics in spaces of ultrafilters, the purpose of the present short note is to provide a different proof, based on classical tools from Fraïssé theory.
BibTeX
Loading...