Generalized inductive definitions: The mu-calculus and Pi-1-2-comprehension
Grunddaten zum Promotionsverfahren
Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster
Zeitraum: bis 28.01.2003
Status: abgeschlossen
Promovend*in: Möllerfeld, Michael
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 |