Person:
Zeige 1 bis 10 von 12 Ergebnissen
Zeige 1 bis 10 von 12 Ergebnissen
| Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles Candidate: Stegert, Jan-Carl | Supervisors: Pohlers, Wolfram; Schindler, Ralf Period of time: until 30/03/2011 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Thinning operators and Pi_4-reflection Candidate: Duchhard, Christoph | Supervisors: Pohlers, Wolfram; Buchholz, Wilfried Period of time: until 25/04/2008 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| ∏12-comprehension and the property of Ramsey Candidate: Heinatsch, Christoph | Supervisors: Pohlers, Wolfram Period of time: until 01/02/2008 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Sigma_1-elementarily and Skolem hull operators Candidate: Wilken, Gunnar | Supervisors: Pohlers, Wolfram; Carlson, Timothy Period of time: until 20/12/2004 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Generalized inductive definitions: The mu-calculus and Pi-1-2-comprehension Candidate: Möllerfeld, Michael | Supervisors: Pohlers, Wolfram; Schindler, Ralf Period of time: until 28/01/2003 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Beweistheoretische Techniken zur Bestimmung von Pi-0-2-Skolemfunktionen Candidate: Blankertz, Benjamin | Supervisors: Pohlers, Wolfram, Weiermann, Andreas Period of time: until 10/12/1997 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Separating fragments of bounded arithmetic Candidate: Beckmann, Arnold | Supervisors: Pohlers, Wolfram Period of time: until 17/01/1997 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Standardstrukturen für Systeme expliziter Mathematik Candidate: Glaß, Thomas | Supervisors: Pohlers, Wolfram Period of time: until 16/12/1993 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Ein neuer Zugang zu Kollabierungsfunktionen Candidate: Weiermannn, Andreas | Supervisors: Pohlers, Wolfram Period of time: until 28/11/1990 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Normen der deskriptiven Mengenlehre als Wahrheitskomplexitäten Candidate: Columbus, Joachim | Supervisors: Pohlers, Wolfram; Diller, Justus Period of time: until 27/06/1990 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |