!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1 Bonn Mathematical Logic Group
Bonn Mathematical Logic Group


Next talk:

Monday, July 14, 16:30, Room 0.011

Giorgio Laguzzi
(Hamburg): Roslanowski and Spinas dichotomies

Hauptseminar/Graduate Seminar Mathematische Logik: Modelltheorie (Lücke/Schlicht)


to the Mathematical Logic Group at the University of Bonn. Our research areas are set theory and general logic. Please browse our website for details.

Mathematical logic

Mathematical logic deals with the language of mathematics as well as the mathematics of language. Mathematical statements and arguments can be formulated in formal languages and calculi; formal languages possess mathematical properties. Traditionally, mathematical logic is subdivided into proof theory, model theory, set theory, and computability theory. more ...


The research of the mathematical logic group is centered around the following topics:

more ...


We teach mathematical logic and set theory in the Bachelor, Master, Diploma, and PhD programs in Mathematics more ...; courses are also open to students of other subjects. Information on current lectures courses and seminars is available here.

Contact Information


Last changed: 12 August 2009