Logic seminar

Tuesday, January 29, 2013 3:00 pm - 3:00 pm EST (GMT -05:00)

Omar Leon Sanchez, Department of Pure Mathematics, University of Waterloo

"The model-companion of partial differential fields with an automorphism"

We explain how one can characterize the existentially closed models in terms of differential-algebraic varieties, and then show that this class is elementary using characteristic sets of differential prime ideals.