Non-Standard Analysis

Non-standard analysis is a beautiful branch of mathematical analysis that was developed in the mid-20th century as an alternative framework for dealing with the concepts of infinitesimals and limits in calculus and real analysis. It was primarily developed by the mathematician Abraham Robinson in the 1960s.

Non-standard analysis provides a powerful tool for addressing problems in calculus and real analysis without relying on the traditional epsilon-delta definitions of limits. It simplifies many proofs and can lead to more elegant and intuitive solutions to certain problems.

The textbook I'm studying from is 'Non-Standard Analysis' by Abraham Robinson as well as Lecture Notes on Internal Set Theory from Princeton. 

Here you can find the notes that I am rewriting on Latex. I will update these notes on a regular basis to keep up with my progress in this subject.