STANFORD UNIVERSITY
Spring Quarter 2011
To be added to the Logical Methods mailing list, please send a message to logical-methods-join@lists.stanford.edu
MATHEMATICAL LOGIC SEMINAR
March 29
Organizational Meeting
(time: 16:15-17:45, room: 380-380X)
April 5
Grigori Mints (Stanford)
Decidability of elementary intuitionistic theories (after V. Lifschitz and C. Smorynski)
(time: 16:15-17:45, room: 380-380X)
April 12
No Logic Seminar: 2011 Tarski Lectures
April 22
Zavain Dar (Stanford)
Decidability in many-valued logics
(time: 12:15-1:30, room: 160-317)
Note unusual time and location!
April 26
Ulrik Buchholz (Stanford)
Review of "Formalizing forcing arguments in subsystems of second-order arithmetic" by Jeremy Avigad
(time: 16:15-17:45, room: 380-380X)
April 29
Grigori Mints (Stanford)
Modal mu-calculus and infinitary rules
(time: 12:15-1:30, room: 160-317)
Note unusual time and location!
May 3
Johan van Benthem (Amsterdam / Stanford)
Modal mu-calculus and provability
(time: 16:15-17:45, room: 380-380X)
May 10
Brian Lewis (Stanford)
Undecidability of elementary intuitionistic theories
(time: 16:15-17:45, room: 380-380X)
May 13
Valeria de Paiva (Stanford)
Takeuti and Titani on ``Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory"
(time: 16:15-17:45, room: 160-317)
Note unusual time and location!
May 17
No seminar
May 24
Solomon Feferman (Stanford)
The first order properties of [generalized] products of algebraic systems
(time: 16:15-17:45, room: 380-380X)
May 31
Grigori Mints (Stanford)
Decidable Second Order Theories
(time: 16:15-17:45, room: 380-380X)
Past Seminars and Lunches- Logic at Stanford