Model theoretic properties of dynamics on the Cantor set

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 Fraisse theory.