Department of Mathematics

Winter quarter 1998

Feb 10 **D. Marker **(Univ. of Illinois, MSRI)

*Logarithmic-exponential
series*

Feb 17 **S. Tupailo **(Stanford)

*Finitary reductions for
local predicativity (Part 1)*

Feb 24 **S. Tupailo **(Stanford)

*Finitary reductions for
local predicativity (Part 2)*

Mar 3 **G. Jäger **(Bern, visiting Stanford)

*Universes in explicit
mathematics (Part 1)*

Mar 10 **G. Jäger **(Bern, visiting Stanford)

*Universes in explicit
mathematics (Part 2)*

Mar 17 **T. Strahm **(Bern, visiting Stanford)

*Recent results in metapredicative
proof theory*

The seminar takes place on Tuesdays at 4:15 PM in the room 381T, Mathematics Department (building 380).

Feb 20 **E. Pezzoli **(Stanford)

*On the classical and parametric
complexity of the Ehrenfeucht-Fraisse game*

Feb 27 **T. Hofweber **(Stanford)

*Numbers and Number Determiners*

Mar 6 **Paul Fahn **(Stanford)

*Measuring Information Efficiency
by Bounded Oracle Computation*

Mar 13 **Reinhard Kahle **(Univ. of Tübingen, visiting
Stanford)

*Frege structures for partial
applicative theories*

Mar 20 **Solomon Feferman **(Stanford)

*Reductions of theories of
countable tree ordinals to ID_1*

Logic lunch takes place on Fridays at 12:00 PM in the room 383N, Mathematics Department (building 380).

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

Last modified: Sun Sep 27 23:36:30 PDT 1998