Summer term 2002

6 June 2002
Manchester
Alex Simpson
(Edinburgh)
"Firstorder set theory in an elementary topos"
Joint work with: Steve Awodey, Carsten Butz & Thomas Streicher

8 May 2002
2.30pm; Classroom J, level 8, School of Mathematics, Leeds
Peter Aczel
(Manchester)
``Interpreting Zermelo Set Theory in a simple PTS''
4.00pm; Classroom J, level 8, School of Mathematics, Leeds
Sergei Tupailo
(Leeds)
``Axiom of Choice in Constructive Set Theory''


Winter term 2002

14 March 2002
3.30pm; Mercury Room, CS Department, Manchester
``DISCUSSION: On Feasible Proofs''
3.00pm
``Tea Break''
2.00pm; Mercury Room, CS Department, Manchester
Vladimir Sazonov
(Liverpool)
``On Feasible Numbers (how to formalize?)''

27 February 2002
4.00pm; Classroom J, level 8, School of Mathematics, Leeds
Laura Crosilla
(München)
``Hypersets and urelements in constructive set theory''
2.30pm; Classroom D, level 8, School of Mathematics, Leeds
Stan Wainer
(Leeds)
``Π^{0}_{2}induction and exponential time''

14 February 2002
3.30pm; Manchester, room 1.10, Computer Science Deparment
Robin Adams
(Manchester)
Adding Logic to a Pure Type System
2.00pm; Manchester, room 1.10, Computer Science Deparment
Andreas Weiermann
(Münster)
Applications of analytic number theory in logic

The lectures will be held usually on Wednesdays or Thursdays during term time.

