Dept. of Philosophy
and CSLI
Stanford University
Monday, 13 June 2011, 16:00 (note the unusual weekday and time)
Cybernetica Bldg (Akadeemia tee 21), room B101
Slides from the talk [pdf]
Abstract: We present an exposition of decidability results for very strong theories obtained by M. Rabin and forming a basis for some of the strongest results up to now.