Bonn Mathematical Logic Group


Graduate Seminar on Set Theory (S4A4)
- places available

Di 16-18
begins Oct 10

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