STANFORD UNIVERSITY
Spring Quarter 2009
To be added to the Logical Methods mailing list, please send a message to logical-methods-join@lists.stanford.edu
MATHEMATICAL LOGIC SEMINAR
March 31 No seminar
April 7 No seminar
(But note that the 2009 Tarski Lectures will be held on April 6, 8, and 10 at Berkeley.)
April 14 Solomon Feferman (Stanford)
Introduction to Systems of Notation for Predicative Ordinals (And Beyond): Completeness and Effectiveness Properties
(time: 16:15-17:30, room: building 60 room 118)
April 21 Peter Koellner (Harvard)
Intrinsic Justifications and Reflection Principles
(time: 16:15-17:30, room: building 60 room 118)
May 5 Grigori Mints (Stanford)
Review of L. Beklemishev's “Reflection schemata and provability algebras in formal arithmetic”
(time: 16:15-17:30, room: building 60 room 118)
May 12 Thomas Icard (Stanford)
Review of L. Beklemishev's “Veblen hierarchy in the context of provability algebras”
(time: 16:15-17:30, room: building 60 room 118)
May 19 Johan van Benthem (Stanford, Amsterdam)
The Information in Logic: Dynamic Epistemic Logic Meets Intuitionism
(time: 16:15-17:30, room: building 60 room 118)
May 26 Grigori Mints (Stanford)
A Simple Epsilon Substitution Method for ID1
(time: 16:15-17:30, room: building 60 room 118)
Past Seminars and Lunches- Logic at Stanford