Bonn Mathematical Logic Group

News

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