Colloquium on Mathematical Logic

Overview of Talks given in 2001-2002

• November 9, 2001.
  15.00--17.00 Ieke Moerdijk: Linear Set Theory.
  Abstract
• November 16, 2001.
  16.00--17.00 Bas Luttik (CWI): On the Expressiveness of the Choice Quantifier.
  Abstract
• November 23, 2001.
  16.00--17.00 Bas Spitters (Nijmegen): Intuitionistic Measure Theory.
  Abstract
• November 30, 2001.
  16.00--17.00 Jaco van de Pol (CWI): Equational Binary Decision Diagrams.
  Abstract.
• December 7, 2001.
  16.00--17.00 Benno van den Berg: Weak W-Types.
  Abstract
• January 11,2002.
  16.00--17.00 Aart Middeldorp: Transforming Context-Sensitive Rewrite Systems.
  Abstract
• February 1,2002.
  16.00--17.00 Troy Lee (Universiteit van Amsterdam): Is Multiplication Harder than Addition?--Arithmetical Definability over Finite Structures
  Abstract
• February 15, 2002. No seminar. Professor Keith Devlin (Stanford University) gives a lecture at 16.00 in the Minnaertgebouw, Room 211, with title
  How did Mathematical ability evolve?
  Organization: Institute for History and Foundations of Physics.
  Abstract
• March 15,2002.
  16.00--17.00 Lev Beklemishev: On fragments of arithmetic related to $\Delta_1$-induction.
  Abstract
• April 5, 2002.
  16.00--17.00 Pieter Hofstra: Relative Completions.
  Abstract
• April 19, 2002.
  16.00--17.00 Yde Venema: Canonicity, correspondence and duality.
  Abstract
• May 24, 2002.
  16.00--17.00 Benedikt Löwe: Transfinite Iterative Constructions: Revision Sequences, Infinite Time Turing Machines and others
  Abstract