Differential algebra and model theory have a long association. Tools from both areas help us address questions about the geometry of differential varieties defined over differential fields. We discuss ongoing research into the topic of complete differential varieties. Along the way, we explain how explicit computation illustrates similarities and differences with the analogous situation in classical algebraic geometry.
Logic and Computation Seminar
Monday, September 29, 2014 - 3:15pm
William Simmons
University of Pennsylvania