Mathematical logic seminar - March 16 2010
Time:
12:00 - 13:20
Room:
PPB 300 (next to Facilities Management Services)
Speaker:
Ernest Schimmerling
CMU
Title:
Inner model theory
Abstract:
I'll give a one-hour slide talk for a general audience of logicians.