Generalized inductive definitions: The mu-calculus and Pi-1-2-comprehension
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Period of time: to 28/01/2003
Status: completed
Candidate: Möllerfeld, Michael
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 |