LAMPASS
Leeds and Manchester
Proofs and Sets Seminar 2002

Programme
Summer term 2002
6 June 2002
Manchester
Alex Simpson
(Edinburgh)
"First-order 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)
``Π02-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.
Horizontal rule