Prof. Dr. Wolfram Pohlers
Current affiliations
- Institute of Mathematical Logic and Basic Research
Curriculum Vitae (CV)
- Mathematical Logic, Proof Theory, abstract Recursiontheory
Academic Education | |
| 1973 - 05/1978 | Habilitation (LMU München) |
| 1971 - 07/1973 | Promotionsstudium (LMU München) |
| 1966 - 03/1971 | Mathematics |
Work Experience | |
| since 09/2008 | Pensionierung |
| since 09/1978 | Ernennung zum Privatdozenten (LMU München) |
| 10/1985 - 08/2008 | Professor (C4) WWU Münster |
| 09/1980 - 10/1985 | Professor (C2) LMU München |
| 08/1973 - 08/1980 | Wissenschaftlicher Assistent (LMU München) |
| 04/1971 - 07/1973 | Verwalter der Dienstgeschäfte eines wissenschaftlichen Assistenten (LMU München) |
Functions and Memberships | |
| since 2012 | Mitglied des wissenschaftlichen Beirats des Zentrums für Wissenschaftstheorie |
| 2000 - 2008 | Vorsitzender des Lenkungsausschusses für den Hochschulsport |
| 1998 - 2008 | Lenkungsausschuss für den Hochschulsport |
| 10/2006 - 09/2008 | Ordentliches Mitglied des Senats der WWU Münster |
| 04/2003 - 04/2005 | Ordentliches Mitglied des Senats der WWU Münster |
| 10/1998 - 03/2000 | Ordentliches Mitglied des Senats der WWU Münster |
| 1990 - 1992 | Dekan des Fachbereichs Mathematik und Informatik |
Appointments | |
| 02/1995 | Offer to a Professorship for Logistik, Formal- und naturwissenschaftliche Fakultät, University of Vienna (rejected) |
| 08/1985 | Offer to a Professorship for Mathematische Logik und Grundlagenforschung (C4) , University of Münster (accepted) |
Publications
Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (eds.), The Legacy of Kurt Schütte. Cham, Heidelberg: Springer VDI Verlag. Research article (book contribution) | |
Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (eds.), The Legacy of Kurt Schütte. Cham, Heidelberg: Springer VDI Verlag. Research article (book contribution) | |
Pohlers, Wolfram (2017) In: Jäger, Gerhard; Sieg, Wilfried (eds.), Feferman on Foundations. Springer VDI Verlag. Research article (book contribution) | |
Pohlers, Wolfram (2016) In: Probst, Dieter; Schuster, Peter (eds.), Concepts of proof in mathematics, philosophy, and computer science. Berlin: De Gruyter. Research article (book contribution) | |
Pohlers, Wolfram (2016) In: Kahle, Reinhard; Stram, Thomas; Studer, Thomas (eds.), Advances in proof theory,. Cham: Birkhäuser Verlag. Research article (book contribution) |
Doctorates
| 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 |