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 Promovend*in: Stegert, Jan-Carl | Betreuer*innen: Pohlers, Wolfram; Schindler, Ralf Zeitraum: bis 30.03.2011 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Thinning operators and Pi_4-reflection Promovend*in: Duchhard, Christoph | Betreuer*innen: Pohlers, Wolfram; Buchholz, Wilfried Zeitraum: bis 25.04.2008 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| ∏12-comprehension and the property of Ramsey Promovend*in: Heinatsch, Christoph | Betreuer*innen: Pohlers, Wolfram Zeitraum: bis 01.02.2008 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Sigma_1-elementarily and Skolem hull operators Promovend*in: Wilken, Gunnar | Betreuer*innen: Pohlers, Wolfram; Carlson, Timothy Zeitraum: bis 20.12.2004 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Generalized inductive definitions: The mu-calculus and Pi-1-2-comprehension Promovend*in: Möllerfeld, Michael | Betreuer*innen: Pohlers, Wolfram; Schindler, Ralf Zeitraum: bis 28.01.2003 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Beweistheoretische Techniken zur Bestimmung von Pi-0-2-Skolemfunktionen Promovend*in: Blankertz, Benjamin | Betreuer*innen: Pohlers, Wolfram, Weiermann, Andreas Zeitraum: bis 10.12.1997 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Separating fragments of bounded arithmetic Promovend*in: Beckmann, Arnold | Betreuer*innen: Pohlers, Wolfram Zeitraum: bis 17.01.1997 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Standardstrukturen für Systeme expliziter Mathematik Promovend*in: Glaß, Thomas | Betreuer*innen: Pohlers, Wolfram Zeitraum: bis 16.12.1993 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Ein neuer Zugang zu Kollabierungsfunktionen Promovend*in: Weiermannn, Andreas | Betreuer*innen: Pohlers, Wolfram Zeitraum: bis 28.11.1990 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Normen der deskriptiven Mengenlehre als Wahrheitskomplexitäten Promovend*in: Columbus, Joachim | Betreuer*innen: Pohlers, Wolfram; Diller, Justus Zeitraum: bis 27.06.1990 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |