Abstract
A neat nonstandard proof of Stone's representation theorem is given. Improving on previous proofs (Loeb [5], Brunet [2]), it uses the remarkably simple fact that infinitesimal members of a filter on $X$, in any enlargement, are always compact for a natural topology on ${}^{\ast}X$.
Citation
Bernard Brunet. "An elementary nonstandard proof of Stone's representation theorem." Illinois J. Math. 35 (2) 312 - 315, Summer 1991. https://doi.org/10.1215/ijm/1255987899
Information