Approximating the standard model of analysis H. Enderton; Harvey Friedman — 1971 Fundamenta Mathematicae