Foundations of non-standard analysis, and selected applications to other areas of mathematics.