Dr. rer. nat. from Westfälische Wilhelms-Universität Münster in 1993 on "Zur Mengenexistenz in formalten Theorien der Mengenlehre" supervised by Wolfram Pohlers