Nash Manifolds

A Nash manifold denotes a real manifold furnished with algebraic structure, following a theorem of Nash that a compact differentiable manifold can be imbedded in a Euclidean space so that the image is precisely such a manifold. This theorem induces a "finiteness" of Nash manifold structures and differences between Nash and differentiable manifolds.