STANFORD UNIVERSITY
Department of Mathematics
Winter quarter 1998

MATHEMATICAL LOGIC SEMINAR

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

LOGIC LUNCH

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