Ultrafilters and ultrapowers. Foundations of nonstandard analysis. Applications to Ramsey theory and combinatorial number theory.