Event Detail

Fri Apr 23, 2010
60 Evans Hall, 4:10–6 PM
Logic Colloquium
RICHARD A. SHORE (Cornell University)
The Limits of Determinacy in Second-order Arithmetic