Seminar on Mathematical Logic (Spring 2008)

• Akihiro Kanamori, The Higher Infinite, Section 27 (p. 368-382)

• F Wolter and M Zakharyaschev, A logic for metric and topology.
  Journal of Symbolic Logic 70 (2005) 795-828.

• 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

• J van Benthem, G Bezhanishvili, B ten Cate and D Sarenac Multimodal logics of products of topologies
  Studia Logica 84 (2006) 369-392.

• M Aiello and J van Benthem and G Bezhanishvili, Reasoning about space: the modal way,
  in: Journal of Logic and Computation 6 (2003) 899-920.

• N Bezhanishvili and G Fontaine and Y Venema, Vietoris bisimulations of descriptive models, submitted.

• G Sambin and V Vaccaro, Topology and duality in modal logic,
  Annals of pure and applied logic 37 (1988) 249-296.
• Here are the pdf files of Jort's presentation: in article format and in slides format.

• Alexander S. Kechris, Classical Descriptive Set Theory, Sections 1-3 (p.1-17)

Practicalities

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.

Papers to choose from

Modal logic and topology

• M Aiello and J van Benthem and G Bezhanishvili, Reasoning about space: the modal way,
  in: Journal of Logic and Computation 6 (2003) 899-920.
• 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.
  • N Bezhanishvili and G Fontaine and Y Venema, Vietoris bisimulations of descriptive models, submitted.
• 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
• F Wolter and M Zakharyaschev, A logic for metric and topology.
  Journal of Symbolic Logic 70 (2005) 795-828.

Topology and infinite games

• Alexander S. Kechris, Classical Descriptive Set Theory, Sections 1-3 (p.1-17)
• Akihiro Kanamori, The Higher Infinite, Section 27 (p. 368-382)
• Alessandro Andretta, unfinished textbook on games in set theory, Chapter III "The Wadge Hierarchy", Section 11 "Elementary Properties"