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

**Past Seminars and Lunches****Logic at Stanford**