February 24th
Anton Setzer
(Uppsala)
Inductive-Recursive Definitions.
March 10th
Barney Hilken
(Manchester)
Topological Duality for Intuitionistic Modal Logic.
March 17th
Georg Moser
(Vienna and Leeds)
Generalization of Proofs.
The lectures will be held on Wednesdays at 4 pm in room J,
Mathematics building. Tea at 3.30 pm.
April 21st
Dan Velleman
(Amherst College, MA, USA)
The Plus Topology.
April 28th
Martin Hofmann
(Edinburgh)
Linear types and non-size increasing polynomial time computation.
May 5th
David P. Howard-Jones
(Oxford)
C^{\infty} functions in o-minimal theories.
May 12th
Kanat Kudaibergenov
(Almaty)
Model companions for structures with an automorphism.
May 19th
Mamoru Shimoda
(Shomonoseki, Japan and Leeds)
Intuitionistic set theory and fuzzy set theory.
June 16th
Yi Zhang
(Rutgers)
Almost disjoint families and cofinitary groups.
The lectures will be held on Wednesdays at 4 pm in room J,
Mathematics building. Tea at 3.30 pm.
October 20th
Michael Möllerfeld
(Münster)
Interpreting Kripke-Platek set theory in the theory of inductive definitions.
October 27th
Richard Coles
(Auckland)
Initial segments of computable linear orders.
November 3rd
Dugald Macpherson
(Leeds)
Imaginaries in valued fields I.
November 10th
Dugald Macpherson
(Leeds)
Imaginaries in valued fields II.
November 17th
Laura Crosilla
(Leeds)
Constructive set theories with restricted induction principles.
November 24th
Sergei Tupailo
(Bern)
Realization interpretation into Explicit Mathematics.
December 8th
Nicolas Granger
(Manchester)
Model Theory of Bilinear Forms.
The lectures will be held on Wednesdays at 4 pm in room J,
Mathematics building. Tea at 3.30 pm.
Last changed: 11 February 2001 |
This page was created by Klaus Thiel |