Decidable second-order theories

Grigori Mints

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.

Tarmo Uustalu
Last update 6.6.2011