Metric-geometric Chow theorem

In 2009, Peterzil and Starchenko proved the following beautiful generalization of Chow's theorem: An entire complex analytic set $X\subset \mathbb{C}^n$ that is definable in an o-minimal structure on $\mathbb{R}$ must be an algebraic set. This result is known nowadays as the o-minimal Chow theorem.