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; 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: representation of sets of reals by systems of models of set theory.
• Editor for descriptive set theory in the edition of the collected works of Felix Hausdorff.
• General Logic: formal mathematics; NAPROCHE - studying the language of mathematics and designing a proof checking systems with natural language interfaces, in collaboration with linguistics.

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

Teaching

• Mathematik I für Physiker und Physikerinnen (V4A3)
• Oberseminar mathematische Logik, with Geschke, Schlicht
• Graduate Seminar on Set Theory: Stationary tower forcing (S4A4), with Schlicht and Schrittesser

Administration

• BAFöG-Beauftragter für das Fach Mathematik: Meine regelmäßige Sprechstunde (s.u.) ist gleichzeitig BaFöG-Sprechstunde.
  Für die Bescheinigung zum Ende des vierten Semesters im Bachelor-Studium Mathematik wird auf Beschluss des Prüfungsausschusses das Bestehen sämtlicher Pflichtmodule des ersten Studienjahrs verlangt: Analysis I und II, Lineare Algebra I und II, Algorithmische Mathematik I und II. Wenn das fristgerechte Bestehen dieser Leistungen durch schriftliche Auszüge aus dem BASIS-System nachgewiesen ist, so kann die Bescheinigung sofort vom Bachelor-Master-Büro ausgestellt werden. Meine BaFöG-Sprechstunde richtet sich vor allem auf das Diplomstudium und auf kompliziertere Fälle.

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
• NEU / NEW Sprechstunden während der Vorlesungszeit / office hours during teaching weeks dienstags / Tuesdays 11:30 to 12:30. Wegen Dienstreise fällt die Sprechstunde am 6.12. aus!!! No office hours on Dec. 6!!!.
• Secretary: Frau Ursula Müller-Moewes (e-mail: m-moewes [emailsymbol] math.uni-bonn.de), Endenicher Allee 60, room 4.011, +49-228-73 2947, FAX +49-228-73 62249
• E-mail: koepke [emailsymbol] math.uni-bonn.de
Last changed:110527