Spring Term 2003 
22 January
Spiros Bousbouras
(Leeds)
Investigations around the finite spectrum problem

29 January
Robin Knight
(Oxford)
The Vaught Conjecture
Robin Knight will also give a Pure
Mathematics Colloquium on Vaught's conjecture for a more general audience on Jan
30th at 4 pm in room H.

5 February
Ian Hodkinson
(Imperial College, London)
Finite Model Property for Guarded Fragments, and Extending Partial Isomorphisms

12 February
Katherine Thompson
(University of East Anglia)
$\kappa$scattered orders and a poset hierarchy

19 February
Sergei Tupailo
(Leeds)
On the intuitionistic strength of monotone inductive definitions

26 February
Paul Bankston
(Marquette)
Hereditarily indecomposable continua via model theory

19 March
Andrew Lewis
(Leeds)
Aspects of complementing in the Turing degrees

2 April 2pm
Steffen Lempp
(Wisconsin)
Lattice embeddings into the computably enumerable Turing degrees  a status survey
Extra Lecture! Note the earlier time

2 April 4pm
Theodore A. Slaman
(Berkeley)
$\Sigma_1$bounding and $\Delta_1$induction

Summer Term 2003 
30 April
Iskander Kalimullin
(Kazan State University)
Primitive recursive permutations as generators for
computable ones

7 May
Richard Williams
(Leeds)
Adding Inductive Definitions to Weak theories

11 June 2pm
Deirdre Haskell
(McMaster and Paris)
Notions of independence in algebraically closed valued fields
Extra Lecture! Note the earlier time

11 June 4pm
Alex Wilkie
(Oxford)
On ominimality

The lectures will be held on Wednesdays at 4 pm in room H,
Mathematics building unless otherwise noted. Tea at 3.30 pm.

