Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
Grunddaten zum Promotionsverfahren
Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster
Zeitraum: bis 30.03.2011
Status: abgeschlossen
Promovend*in: Stegert, Jan-Carl
Promotionsfach: Mathematik
Abschlussgrad: Dr. rer. nat.
Verleihender Fachbereich: Fachbereich 10 - Mathematik und Informatik
Betreuer*innen: Pohlers, Wolfram; Schindler, Ralf
Betreuung an der Universität Münster
| Pohlers, Wolfram | Institut für Mathematische Logik und Grundlagenforschung |