Association for Symbolic Logic (ASL) North American Annual Meeting in Boise

Spring was evident at the ASL meeting in Boise, ID last week ( The beautiful Boise River was more than full as it rushed through the Boise State University campus where the conference was held. Thanks to the organizers for the valuable meeting and special sessions. I enjoyed my opportunity to speak in the contributedContinue reading “Association for Symbolic Logic (ASL) North American Annual Meeting in Boise”

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 systematicallyContinue reading “Upcoming…Ohio State University Logic Seminar March 7th”