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.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2016
- DOI:
- 10.48550/arXiv.1610.09660
- arXiv:
- arXiv:1610.09660
- Bibcode:
- 2016arXiv161009660B
- Keywords:
-
- Mathematics - Combinatorics;
- Computer Science - Computational Complexity;
- Mathematics - Dynamical Systems;
- Mathematics - Logic
- E-Print:
- 9 pages