Foundations and applications of non-standard analysis
Summary
We shall introduce a superstructure, which allows us to reformulate analysis in the language of set theory. We can then use filter theory to make an extension of this superstructure. In this extension, there will be infinitesimal numbers. Finally, we shall study how we can do analysis with these infinitesimal numbers.