Upcoming…Ohio State University Logic Seminar March 7th

I’ll be speaking in the Ohio State University Logic Seminar on Tuesday, March 7th. Here are the details:
Title: Mining effective information from nonconstructive proofs in differential algebra
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.

Published by wsimmons

Researcher specializing in applications of logic and algebra to computer science.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: