Pillay-Steinhorn 1986: ordered-structure where every definable-set is finite-union of points + intervals. Real-closed-fields, real-exponential (Wilkie 1996). Tame-topology Grothendieck-style.
Pillay-Steinhorn 1986: ordered-structure where every definable-set is finite-union of points + intervals. Real-closed-fields, real-exponential (Wilkie 1996). Tame-topology Grothendieck-style.