Characterizing algebras of smooth functions on manifolds
  Among all $C^\infty$-algebras we characterize those which are algebras of smooth functions on smooth separable Hausdorff manifolds. 
Peter W. Michor, Ji\v{r}i Van\v{z}ura