March 1
Gregory Cousins,
University of Notre Dame
On PAC Fields with a Strong Form of Model Completeness
In this talk, I will discuss fields with a strong form of model completeness (called almost quantifier elimination) and sketch a proof that PAC fields with almost QE are simple. Time permitting, I will discuss a version of the theorem for differential fields.