Bonn Mathematical Logic Group

News

Graduate Seminar on Set Theory (S4A4)
- places available

Di 16-18
begins Oct 10

Lecture:
Advanced Mathematical Logic: Model Theory

Di 10-12, Do 8-10
begins Oct 17

Research Areas


Set Theory

Our research concentrates on set theory, in particular on:

Part of this work is or has been funded by the following projects:

Generalized Computability Theory

This work belongs to the research area Structural and Algorithmic Complexity of the Hausdorff Center for Mathematics.

Formal Mathematics

Part of this work is funded by the Hausdorff Center for Mathematics through a Hausdorff project "A research platform for natural language orientated formal mathematics".

General Logic

 

Former Research Projects

Last changed: January 5, 2009