Nonstandard Universes
Peter Ouwehand
TL;DR
The notes develop a rigorous framework for the existence and basic properties of nonstandard set-theoretic universes used in nonstandard analysis. They introduce transfer maps, the standard/internal/external taxonomy, and hyperfinite sets, then establish enlargement, saturation, and comprehensiveness concepts that underpin robust transfer and approximation principles. Existence is demonstrated via ultrapower constructions, compactness arguments, and ultralimit techniques, with emphasis on elementary equivalence for bounded formulas and the realization of hyperfinite approximations. The work clarifies the limitations and requirements for polysaturation, notably the need for good ultrafilters, and shows how these nonstandard universes support transfer, hyperfinite methods, and comprehensive nonstandard structures with wide applicability in analysis.
Abstract
These notes are concerned with the existence and the basic properties of the set-theoretic universes for nonstandard analysis, compiled by a beginner in the subject. It assumes a basic background in first-order logic, though the necessary material is revised in Appendix A. Needless to say, none of the material presented here is original, but has been adapted from standard sources.