Nonstandard models and optimization

This is an overview of a few possibilities that are open by model theory in optimization. Most attention is paid to the impact of infinitesimal analysis and Boolean valued models to convexity, Pareto optimality, and hyperapproximation.