  Peterzil and Starchenko have proved the following surprising generalization
of Chow's theorem: A closed analytic subset of a complex algebraic variety that
is definable in an o-minimal structure, is in fact an algebraic subset. In this
paper, we prove a non-archimedean analogue of this result.
