An important branch of mathematical logic is model theory, the study of first-order theories and the classes of models defined by such theories.
This course will include numerous applications of model theory to algebra, especially ordered fields and differential fields.