For nonstandard analysis see the folder Foundations of mathematics.