Past Seminars and Lunches Logic at StanfordApr 9 Sol Feferman
Organizational meeting
Apr 16 Grigori Mints
Extracting bounds from non-constructive proofs
April 23 G. Mints
Review of the work by U. Kohlenbach on constructivization of non-effective proofs
April 30 D. Anderson, D. Sarenac, A. Yap
Making Frege's systems consistent: A survey
May 7 D. Sarenac, A. Yap, Ed Zalta
Saving Frege from Contradiction (cont)
May 14 Michael Rathjen (University of Leeds)
Metamathematical properties of Constructive Zermelo-Fraenkel Set Theory
May 21 Grigori Mints
A new approach to proving interpolation theorems
May 28 Michael Rathjen (Leeds University)
The Regular Extension Axiom
June 4 Michael Rathjen (Leeds University)
On Relating the Veblen and the Mahlo Hierarchies
August 6 Laurentiu Leustean (University of Bucharest, Romania)
Proof mining in fixed point theory
Seminars this quarter are on Tuesdays at 4:15PM
in room 380:381T (Math building).
Apr 12 Rick Tieszen (San Jose State)
Aspects of Husserl's Logic
Apr 19 Johan van Benthem
Logics of Space (continued)
April 26 Michael Beeson (UC San Jose)
Double Negation Elimination
May 3 John McCarthy
Useful Counterfactuals
May 10 Phokion G. Kolaitis (UCSC)
On the Complexity of Model Checking and Inference in Minimal Models
(Room changed to 380-381T)
May 17 Geoffrey K. Pullum (UC Santa Cruz)
Model Theoretic Syntax: An Elementary Overview
Logic lunch takes place on Fridays at 12:00 PM in room 383-N,
Mathematics Department (building 380).
Department of Mathematics Colloquium takes place on Thursdays at 4:15 PM in the room 380-W, Mathematics Department (building 380).
Past Seminars and Lunches Logic at Stanford