Seminar on Mathematical Logic (Spring 2007)

This page concerns the Seminar on Mathematical Logic, which will run at the Institute for Logic, Language & Computation of the Universiteit van Amsterdam, from February - May 2007.

Contents of this page

Practicalities
Papers still to choose from
Schedule

News

The seminar has finished.

Practicalities

Instructors: Dr Benedikt Löwe, Dr Yde Venema, Prof Dr Jouko Väänänen
Time: Monday 17-19
Place: P.018
Course language: English
Intended Audience: Students of the MSc Mathematics and MSc Logic

Goal. Students need to learn to read research papers and present mathematical ideas. The goal of this seminar is to give students an opportunity to train their reading skills in mathematics and learn how to present.

Content. Selected research papers will be handed out to the students who then have to read them, understand them and present them to the seminar.

Schedule

February 5th, 2007. no class
February th, 2007. Modal Logic and Topology.
Speaker: Huanfang Dong.
- J van Benthem and G Bezhanishvili, Modal logics of space (sections 1 and 2),
  in: Handbook of Spatial Logics, to appear.
February th, 2007. Modal Logic and Topology.
Speaker: Jonathan Zvesper.
- B ten Cate, D Gabelaia, and S Sustretov, Modal Languages for Topology: Expressivity and Definability,
  submitted.
February th, 2007. Modal Logic and Topology.
Speaker: Herman Stel.
- G Bezhanishvili and M Gehrke, Completeness of S4 with respect to the real line: revisited
  Annals of Pure and Applied Logic 131 (2005) 287-301
March 5, 2007. no class
March 12, 2007. no class
March 19, 2007. Modal Logic and Topology.
Speaker: Herman Stel (continued)
March 26th, 2007. no class
April 2, 2007. no class
April 9, 2007. no class
April 16, 2007.
Speaker: Huanfang Dong (continued)
April 23, 2007. no class
April 30, 2007. no class
May 7, 2007. no class
May 14, 2007.
Speaker: Jined Elpitiya
- Topic:A few resuts about topological types.
  (Here's the handout - with references.)

Papers still to choose from

Modal logic and topology

The following papers could be presented together, by two students, in two meetings:
- G Sambin and V Vaccaro, Topology and duality in modal logic,
  Annals of pure and applied logic 37 (1988) 249-296.
- G Sambin and V Vaccaro, A new proof of Sahlqvist's theorem on modal definability and completeness,
  Journal of Symbolic Logic 54 (1989) 992-999.
  (builds on the earlier paper by Sambin and Vaccaro, and could be presented together with it, by two students)
C Kupke, A Kurz and Y Venema. Stone coalgebras (for the extended report version, click here).
Theoretical Computer Science 327 (2004) 109--134.
(builds on the paper by Sambin and Vaccaro)
F Wolter and M Zakharyaschev, A logic for metric and topology.
Journal of Symbolic Logic 70 (2005) 795-828.