This page:UHH > MIN > Department of Mathematics > Homepages

Homepages

(hier geht es zur ggf. vollständigeren Homepage im alten Layout)
(this way to the possibly more complete Homepage in the old layout)

Seminar on Mathematical Logic (Spring 2008)

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 2008.

News

No news.

Past meetings

May 27th, 2008. Topology and Infinite Games.
Speaker: Bjarni

May 26th, 2008. Topology and Infinite Games.
Speaker: Rogier

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

May 19, 2008. no class

May 12, 2008. no class

May 5, 2008. no class

April 28th, 2008. Modal Logic and Topology.
Speaker: Pietro

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

April 21th, 2008. Modal Logic and Topology.
Speaker: Thomas

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

April 14th, 2008. Modal Logic and Topology.
Speaker: Fan

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

April 7th, 2008. Modal Logic and Topology.
Speaker: Ivano

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.

March 31th, 2008.
Speaker: Lisa

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

March 17, 2008. Modal Logic and Topology.
Speaker: Jort

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.

March 3, 2008. no class

March 10, 2008. no class

February 25th, 2008. Introduction to Topology.
Speaker: Pablo

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

February 18, 2008. no class

February 11th, 2008. First, introductory meeting.

Practicalities

Instructors: Dr Benedikt Löwe, Dr Yde Venema
Time: Monday 16-18
Place: to be determined
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.

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"

Metanavigation

Suche

Inhalt