UNIVERSITY OF LEEDS
Department of Pure Mathematics
Logic Seminar 2000

Spring term 2000

Friday January 14th
Adrian Mathias (La Reunion) The axiom of determinacy.

February 2nd
Reinhard Kahle (Tübingen) Proof theory of Frege structures.

February 9th
Dietrich Kuske (Dresden) Monadic second order logic and automata for partially ordered sets.

February 23rd
Isabel Oitavem (Lisbon) Inductive characterizations of Ptime and Pspace.

March 8th
Yue Yang (Singapore) Jump theorems and Σ2-induction. (The talk will start at 3 pm.)

March 15th
Marat Arslanov (Kazan) On the structure of the enumeration degrees.

March 22nd
Iskander Kalimullin (Kazan) Weak presentations of some algebraic structures.

Wednesday March 29th
Bektur Baizhanov (Almaty) One-types in weakly o-minimal theories.

April 5th
Alex Wilkie (Oxford) Quasi-analytic classes and 0-minimal structures.

The lectures will be held on Wednesdays at 4 pm in room J,
Mathematics building. Tea at 3.30 pm.

Michael Rathjen

Summer term 2000

May 10th
Peter Hancock (Edinburgh) Hancock's proof.
(Abstract)

May 17th
Michael Zakharyashev (Leeds) Decidable fragments of first-order modal and temporal logics.
(Abstract)

Tuesday May 23rd
Ulrich Berger (Swansea) $\mu$-recursion vs. least fixed points on the partial continuous functionals.
(Abstract)

June 14th
Jan Krajicek (Prague) Combinatorics with definable sets: Euler characteristics and dimensions.

The lectures will be held on Wednesdays at 4 pm in room J,
Mathematics building. Tea at 3.30 pm.

Michael Rathjen

Autumn term 2000

October 18th
Iain Stewart (Leicester) Program schemes and finite model theory.
(Abstract)

The lectures will be held on Wednesdays at 4 pm in room J,
Mathematics building. Tea at 3.30 pm.

Michael Rathjen
Horizontal rule
Valid XHTML 1.0! Last changed:
11 February 2001
This page was created by
Klaus Thiel