  For first-order expansions of the field of real numbers, nondefinability of
the set of natural numbers is equivalent to equality of topological and Assouad
dimension on images of closed definable sets under definable continuous maps.

Logic;Metric Geometry