Applications of model theory to algebra, analysis, and probability