Logic Seminar
Antonio Montalban
University of Chicago
The boundary of Determinacy in Second Order Arithmetic.
Abstract: The proof theoretic strength of the various levels of Determinacy
have been studied for the last 40 years in computability theory, set
theory and reverse mathematics. With Richard Shore, we have recently
found the exact level at which determinacy becomes non-provable in
Second Order Arithmetic.
In this talk we will discuss the history of the subject and the new results.
seminar begins with tea
Tuesday October 13, 2009 at 4:00 PM in SEO 612