Canonical functions: a proof via topological dynamics

Michael Pinsker & Manuel Bodirsky
Canonical functions are a powerful concept with numerous applications in the study of groups, monoids, and clones on countable structures with Ramsey-type properties. In this short note, we present a proof of the existence of canonical functions in certain sets using topological dynamics, providing a shorter alternative to the original combinatorial argument. We moreover present equivalent algebraic characterisations of canonicity.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.