Real Analysis through Modern Infinitesimals

Real Analysis Through Modern Infinitesimals provides a course on mathematical analysis based on Internal Set Theory (IST) introduced by Edward Nelson in 1977. After motivating IST through an ultrapower construction, the book provides a careful development of this theory representing each external class as a proper class. This foundational discussion, which is presented in the first two chapters, i...