Colloquium on Mathematical Logic

Overview of Talks given in 2002-2003

• October 25, 2002. Utrecht-Münster Seminar on Provability Algebras
• November 1, 2002.
  15.00--17.00 Andreas Weiermann starts a mini-course of three lectures, with title
  Refining independence results for PA via analytic number theory
  Abstract
• November 8, 2002. 15.00--17.00 Andreas Weiermann, second lecture.
• November 15, 2002.
  Utrecht-Münster Seminar on Provability Algebras
• November 22, 2002. 15.00--17.00 Andreas Weiermann, third lecture.
• December 6, 2002. 15.00--17.00 Claire Kouwenhoven, Jaap van Oosten (Utrecht): Presentation of the paper Primes is in P by Agrawal, Kayal, Saxena.
• December 13, 2002. 15.00--17.00 Albert Visser (Utrecht): Faith in Falsity
• February 21, 2003. 16.00--17.00 Pieter Hofstra (Utrecht): Indexed Preorders and Completions
• March 21, 2003. 16.00--17.00 Joost Joosten (Utrecht): Interpretability over Primitive Recursive Arithmetic
• April 11, 2003. 16.00--17.00 Georg Moser (Münster): Relating derivation lengths with the slow-growing hierarchy directly
  Abstract
• May 30, 2003. 16.00--17.00 Harry Buhrman (CWI and University of Amsterdam): Simultaneous Message Passing with Quantum Bits
  Abstract
• June 6, 2003. 16.00--17.00 Federico de Marchi (Utrecht): Dualising Universal Algebra
  Abstract