We examine topological dynamical systems on the Cantor set from the point of view of the continuous model theory of commutative C*-algebras. After some general remarks, we focus our attention on the generic homeomorphism of the Cantor set, as constructed by Akin, Glasner, and Weiss. We show that this homeomorphism is the prime model of its theory. We also show that the notion of “generic” used by Akin, Glasner, and Weiss is distinct from the notion of “generic” encountered in Fraïssé theory.
"Model-Theoretic Properties of Dynamics on the Cantor Set." Notre Dame J. Formal Logic 63 (3) 357 - 371, August 2022. https://doi.org/10.1215/00294527-2022-0022