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.
NO teaching in the Summer semester 2010 (Forschungssemester/Sabbatical)
Administration
- BAFöG-Beauftragter für das Fach Mathematik: Bis Mitte Oktober
biete ich keine regelmäßigen Sprechstunden an. Die
BAFöG-Beauftragten Prof. Dr. M. Clausen (Informatik) und Prof. Dr. U. Klein (Physik) sind bereit, in eindeutigen Fällen Bescheinigungen auszustellen.
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.Bitte weisen Sie diese Module durch schriftliche Auszüge aus dem
BASIS-System nach. In Problemfällen können Sie mich per Email
kontaktieren.
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
- Wegen Forschungssemester keine Sprechstunden bis Mitte Oktober
2010. Because of sabbatical no office hours until mid-October 2010.
- 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