Department of Mathematics
Spring quarter 2002


Apr 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).

o Past Seminars and Lunches
o Logic at Stanford