Logic seminar

Tuesday, October 9, 2012 3:30 pm - 3:30 pm EDT (GMT -04:00)

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.