Penn Arts & Sciences Logo

Logic and Computation Seminar

Monday, January 30, 2017 - 3:30pm

William Simmons

University of Pennsylvania

Location

University of Pennsylvania

DRL 4C8

Ultraproducts and other nonconstructive tools often yield existence results without giving explicit values. We examine the interplay of such arguments with "proof mining" techniques that systematically extract effective information even when it is not apparent. Our main application is to differential algebra, where the existence and nature of uniform bounds are more elusive than in the algebraic case. This is joint work with Henry Towsner.