Ohio State is in the process of revising websites and program materials to accurately reflect compliance with the law. While this work occurs, language referencing protected class status or other activities prohibited by Ohio Senate Bill 1 may still appear in some places. However, all programs and activities are being administered in compliance with federal and state law.

Logic Seminar - William Simmons

William Simmons
March 7, 2017
1:50 pm - 2:50 pm
Cockins Hall 240

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.

Events Filters: