Prof. Dr. Peter Koepke

Axiomatic Set Theory and General Logic

Research profile

• Axiomatic set theory: determination of consistency strengths of infinitary combinatorial principles, using forcing and core models; determination of consistency strengths without assuming the axiom of choice, characterizations of large cardinal axioms by embeddings of models of set theory.
• Constructibility theory and ordinal computability theory: new fine structure theories for constructible models of set theory, with applications; generalized machines with tapes of arbitrary ordinal lengths or registers working on ordinal numbers.
• Descriptive set theory and infinitary games.
• General Logic: the nature of mathematical proofs, formal mathematics, NAPROCHE - NAtural PROof CHEcking: studying the language of mathematics and designing a natural proof checking system with natural language interfaces, in collaboration with linguistics.

For more details see the list of preprints and the list of talks.

Teaching

• Einführung in die Mathematische Logik with Lücke
  
• Oberseminar Mathematische Logik, with Holy, Lücke
• Praktikum Mathematische Logik

Administration

• BAföG-Beauftragter für das Fach Mathematik ist seit dem Wintersemester 2019/20 Prof. Dr. Herbert Koch

Contact Information

• Address:
  Mathematisches Institut
  Rheinische Friedrich-Wilhelms-Universität Bonn
  Endenicher Allee 60
  D-53115 Bonn
  Germany
  
• Office: Endenicher Allee 60, Zimmer 4.005
• Phone: +49 228 73 2206
• E-mail: koepke [emailsymbol] math.uni-bonn.de
• Sprechstunden in der Vorlesungszeit: mittwochs 11:30 - 12:30. Office hours during term time: Wednesdays 11:30 - 12:30. Sonstige Terminvereinbarungen bitte per Email.