Penn Arts & Sciences Logo

Logic and Computation Seminar

Monday, September 29, 2014 - 3:15pm

William Simmons

University of Pennsylvania

Location

University of Pennsylvania

4N30

Note time and place

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.