STANFORD UNIVERSITY
Winter 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

January 8 No seminar

January 15 Michael Glanzberg (Davis)
Definites and Modality in Dynamic Semantics
(time: 16:15-17:30, room: 420-048)

January 22 Grigori Mints, David Taylor (Stanford)
Finite Sets and Gödel's Incompleteness Theorems: Part I
(time: 16:15-18:15 (with coffee break), room: 60-119)

January 29 Jesse Alama, Solomon Feferman (Stanford)
Finite Sets and Gödel's Incompleteness Theorems: Part II
(time: 16:15-18:15 (with coffee break), room: 60-119)

February 5 Michael Beeson (San Jose State)
Algorithms and Proofs in Geometry (slides)
(time: 16:15-17:30, room: 60-119)

February 12 Robert May (Davis)
The Essential Proposition: Frege on Identity Statements
(time: 16:15-17:30, room: 60-119)

February 19 Sergei Tupailo (Stanford, Tallinn)
Consis(ZFVLIF) Implies Consis(NF)
(time: 16:15-17:30, room: 60-119)

February 26 Ulrich Kohlenbach (Darmstadt)
Analyzing Proofs Based on Sequential Compactness
(time: 16:15-17:30, room: 60-119)

March 4 Grigori Mints (Stanford)
Epsilon substitution and bar induction
(time: 16:15-17:30, room: 60-119)

March 25 Peter Koepke (Bonn)
Building the Dodd-Jensen Core Model with a Simplified Fine Structure
(time: 16:15-17:30, room: 60-119)

Past Seminars and Lunches

Logic at Stanford