March 7, 2017
1:50PM
-
2:50PM
Cockins Hall 240
Add to Calendar
2017-03-07 13:50:00
2017-03-07 14:50:00
Logic Seminar - William Simmons
Title: Mining effective information from nonconstructive proofs in differential algebraSpeaker: William Simmons (University of Pennsylvania) Abstract: 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.
Cockins Hall 240
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
Date Range
2017-03-07 13:50:00
2017-03-07 14:50:00
Logic Seminar - William Simmons
Title: Mining effective information from nonconstructive proofs in differential algebraSpeaker: William Simmons (University of Pennsylvania) Abstract: 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.
Cockins Hall 240
America/New_York
public
Title: Mining effective information from nonconstructive proofs in differential algebra
Speaker: William Simmons (University of Pennsylvania)
Abstract: 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.
