Logic seminar

Rahim Moosa, Department of Pure Mathematics, University of Waterloo

"Some model theory of fields with operators"

The model theory of fields, usually with additional structure (such as a derivation or an automorphism) is the primary (but not solitary) locus of interaction between model theory and algebraic geometry. I will review some of the classical theory of model companions for fields, differential fields and difference fields, and then report on some work-in-progress with Thomas Scanlon on the model companion for fields with several non-commuting operators in a somewhat general and unifying setting.