Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Period of time: to 30/03/2011
Status: completed
Candidate: Stegert, Jan-Carl
Doctoral subject: Mathematik
Doctoral degree: Dr. rer. nat.
Awarded by: Department 10 - Mathematics and Computer Science
Supervisors: Pohlers, Wolfram; Schindler, Ralf
Supervision at the University of Münster
| Pohlers, Wolfram | Institute of Mathematical Logic and Basic Research |