Prof. Dr. Peter Koepke

Lehrstuhl für Logik und Mengenlehre
Rheinische Friedrich-Wilhelms-Universität Bonn

Anschrift:
Universität Bonn
Mathematisches Institut
Endenicher Allee 60
53115 Bonn

Publikationen (Auswahl)

  • Hyperfine structure theory and gap 1 morasses, mit Sy D. Friedman und Boris Piwingerin: Journal of Symbolic Logic 71 (2006), S. 480-490.
  • Computing a model of set theory, in: Lecture Notes in Computer Science 3988 (2006), S. 223-232.
  • Gödelʼs completeness theorem with natural language formulas, in: Müller, Thomas/Newen, Albert (Hg.): Logik, Begriffe, Prinzipien des Handelns – Logic, Concepts, Principles of Action, Paderborn: mentis 2007, S. 49-63.
  • From proof texts to logic. Discourse representation structures for proof texts in mathematics, M. Cramer, D. Kühlwein, and B. Schröder, in: Annals of Pure and Applied Logic 160 (2009), S. 310-318.
  • The consistency strength of choiceless failures of SCH, mit Arthur Apter, in: The Journal of Symbolic Logic 75 (2010), S. 1066-1080.
  • A generalised dynamical system, infinite time register machines, and Pi^1_1-CA_0, mit Philip D. Welch, in: Lecture Notes in Computer Science 6735 (2011), S. 152-159.

Kontakt

Telefon: +49 (0) 228 / 73-2206
E-Mail:
Web: Universität Bonn
Kontaktaufnahme