STANFORD UNIVERSITY
Autumn Quarter 2008

To be added to the Logical Methods mailing list, please send a message to logical-methods-join@lists.stanford.edu

MATHEMATICAL LOGIC SEMINAR

September 23 Thomas Icard (Stanford)
Semantics of Polymodal Gödel-Löb Logic
(time: 16:15-17:30, location 160-319)

September 30 [no seminar]

October 7 [no seminar]

October 14 Victor Harnik (Haifa)
The Syntax of Object Specification in Higher Dimensional Categories
(time: 16:15-17:30, location 160-319)

October 21 Henry Towsner (UCLA, Berkeley)
Partial Dialectica Translations and Szemerédi's Theorem
(time: 16:15-17:30, location 160-319)

October 28 Robert Solovay (Berkeley)
The Consistency Strength of NFU*
(time: 16:15-17:30, location 160-319)

November 4 Ryota Akiyoshi (Tokyo)
An Ordinal-free Proof of the Cut Elimination Theorem for Π11-Analysis with ω-rule
(time: 16:15-17:30, location 160-319)

November 11 Gordon Plotkin (Edinburgh)
A Model of Cooperative Threads (slides)
(time: 16:15-17:30, location 160-319)

November 18 Grigori Mints (Stanford)
Analytic Cut in Modal Logic
(time: 16:15-17:30, location 160-319)

December 2 Solomon Feferman (Stanford)
The Proof Theory of Classical and Inductive Definitions: A 40-year Saga
(time: 16:15-17:30, location 160-319)

o Past Seminars and Lunches
o Logic at Stanford