19 June 2001
Vladimir Tolstykh
(Kemerovo)
``Free algebras of infinite rank whose automorphism groups interpret
set theory''
Tuesday !
30 May 2001
S. Wainer
(Leeds)
``Computational complexity via prooftheoretic complexity''
This talk will be given in room D on level 10 !
23 May 2001
M. Giorgi
(Leeds)
``Continuity in degree structures''
This talk will be given in room D on level 10 !
16 May 2001
P. Taylor
(QMW)
``Wellfounded coalgebras:
trying to understand ordinals and replacement categorically''
9 May 2001
B. Zilber
(Oxford)
``The logic of complex exponentiation and transcendental number theory''
2 May 2001
W. Hodges
(QMW)
``Settheoretic definability of algebraic constructions;
an old problem solved''
Lectures will take place in room J or D of the Mathematics Building at
4.00pm
with tea beforehand at 3.30pm.
21 March 2001
Prof. Charles Steinhorn
(Vassar College)
``On properties that yield closetotame expansions of real closed fields''
14 March 2001
D. LlewellynJones
(Birmingham)
``Automorphisms of Presburger Groups''
28 February 2001
V. Sazonov
(Manchester Metropolitan)
``Bounded (Hyper) Set Theory, Descriptive Complexity and Weblike Databases''
21 February 2001
J.K. Truss
(Leeds)
``A notion of rank in set theory without choice''
14 February 2001
S. Ishmukhametov
(Ulyanovsk)
``On some problems in the Turing degrees''
Lectures take place in Room J of the Mathematics Building at 4pm.
Tea beforehand at 3.30pm.
Last changed: 31 October 2001 
This page was created by Klaus Thiel 

URL :
http://www.maths.leeds.ac.uk/Pure/logic/
,
Seminars
