Canonical Functions: a proof via topological dynamics

Abstract

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.

9 pages

Cited by in corpus (3)

• A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP
• Structures with Small Orbit Growth
• The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom