Generalizations
Nash functions and manifolds can be defined over any real closed field instead of the field of real numbers, and the above statements still hold. Abstract Nash functions can also be defined on the real spectrum of any commutative ring.
Read more about this topic: Nash Functions