2025/06/30 by Ouwehand, Peter
#03C20 #03H05 (Primary) #26E35 (Secondary) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2506.23654
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.