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: representation of sets of reals by systems of models of set theory.
• 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

• Models of Set Theory I with Lücke
  
• Oberseminar mathematische Logik, with Geschke, Lücke, Schlicht
• Hauptseminar Mengenlehre (S2A2), with Lücke; Thema des Seminars ist das "konstruktible Universum" von K. Gödel, in dem das Auswahlaxiom, die allgemeine Kontinuumshypothese und weitere kombinatorische Eigenschaften gelten. Das Seminar folgt Teilen des Buchs "Constructibility" von K. Devlin. Vorbesprechung: Mittwoch 30.1.2013, nach der Vorlesung Set Theory, voraussichtlich um 14:30.
  
• Seminar Formale Mathematik with Schröder

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
• Sprechstunden während der Vorlesungszeit / office hours during teaching weeks dienstags 12:00 bis 13:00 / Tuesdays 12:00 to 13:00.
• 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:120129