Canonical Functions: a proof via topological dynamics
Combinatorics
2020-07-28 v3 Computational Complexity
Dynamical Systems
Logic
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.
Cite
@article{arxiv.1610.09660,
title = {Canonical Functions: a proof via topological dynamics},
author = {Manuel Bodirsky and Michael Pinsker},
journal= {arXiv preprint arXiv:1610.09660},
year = {2020}
}
Comments
9 pages