Bonn Mathematical Logic Group


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