  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.
