A 2-metric Characterization of the Euclidean Plane.
A definable subset of a Euclidean space X is called perfectly situated if it can be represented in some linear system of coordinates as a finite union of (graphs of) definable 𝓒¹-maps with bounded derivatives. Two subsets of X are called simply separated if they satisfy the Łojasiewicz inequality with exponent 1. We show that every closed definable subset of X of dimension k can be decomposed into a finite family of closed definable subsets each of which is perfectly situated and such that any...