Department of Mathematics

Winter quarter 2000

Jan 11 **Philip Scowcroft** (Welseyan University) *
Easy proofs of some theorems of Ax-Kochen-Ershov*

Feb 8 **Saul Kripke** (Princeton University (Emeritus)) *
Metatheorems and the logicists*

Seminars take place on Tuesdays at 4:15 PM in room 381-T,

Mathematics Department (building 380).

*Logic Lunches are suspended for this quarter until further
notice.*

Logic lunch takes place on Fridays at 12:00 PM in room 383-N,

Mathematics Department (building 380).

Feb 3 **Yuri Matiyasevich** (Steklov Institute of Mathematics) *
Hilbert's Tenth Problem Today: Main Results and Open Problems*

Department of Mathematics Colloquium takes place on Thursdays at 4:15 PM in the room 380-W, Mathematics Department (building 380).

**Past Seminars****Logic at Stanford**