Canonical Functions: a proof via topological dynamics
  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. 
Manuel Bodirsky and Michael Pinsker
math.CO cs.CC math.DS math.LO