Mathematical Logic

Our research interests include:
  • Category theory
  • Topos theory
  • Theory of (higher-type) computation
  • Type theory
  • Proof theory

Our members

Johan Commelin (webpage)
Interests: formalization of mathematics, arithmetic geometry, o-minimal theory, categorical logic, type theory
Ieke Moerdijk (webpage)
Interests: Algebraic topology, applications of topology to mathematical logic.
Paige North (webpage)
Interests: Category theory, homotopy theory, higher category theory, logic, homotopy type theory, and connections of those subjects with computer science and engineering
Jaap van Oosten (webpage)
Interests: Logic; realizability, proof theory, topos theory, models of computability.

National seminars and workshops

Mathematical Logic Colloquium. Joint event organised by the mathematical logic departments in Amsterdam, Nijmegen and Utrecht. Currently dormant.

Comments are closed