Finite Ramsey degrees and Fra\"iss\'e expansions with the Ramsey property

Abstract

By a result of Zucker, every Fra\"iss\'e structure $\bf F$ for which the elements of $\mathrm{Age}(\bf F)$ have finite Ramsey degrees admits a Fra\"iss\'e 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\"iss\'e theory.