Antonio Montalban : The boundary of Determinacy in Second Order Arithmetic.

Posted by , part of the Logic Seminar.

At

Oct. 13, 2009, 4 p.m.

In

SEO 612

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