He proved Nash's conjecture that smooth compact manifolds are diffeomorphic to non-singular real algebraic manifolds (known as the Theorem of Nash and Tognoli).
Dabei bewies er eine Vermutung von Nash, dass glatte kompakte Mannigfaltigkeiten diffeomorph nicht-singulären reellen algebraischen Mannigfaltigkeiten sind (Satz von Nash und Tognoli).