Prof. Dr. Wolfram Pohlers
Aktuelle Zugehörigkeiten
- Institut für Mathematische Logik und Grundlagenforschung
Curriculum Vitae (CV)
- Mathematische Logik, Beweistheorie, abstrakte Rekursionstheorie
Akademische Ausbildung | |
| 1973 - 05/1978 | Habilitation (LMU München) |
| 1971 - 07/1973 | Promotionsstudium (LMU München) |
| 1966 - 03/1971 | Studium der Mathematik (LMU München) |
Berufliche Stationen | |
| seit 09/2008 | Pensionierung |
| seit 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) |
Funktionen und Mitgliedschaften | |
| seit 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 |
Rufe auf eine Professur | |
| 02/1995 | Ruf auf eine Professur für Logistik, Formal- und naturwissenschaftliche Fakultät, Universität Wien (abgelehnt) |
| 08/1985 | Ruf auf eine Professur für Mathematische Logik und Grundlagenforschung (C4) , Universität Münster (angenommen) |
Publikationen
Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (Hrsg.), The Legacy of Kurt Schütte. Cham, Heidelberg: Springer VDI Verlag. Art der Publikation: Forschungsartikel (Buchbeitrag) | |
Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (Hrsg.), The Legacy of Kurt Schütte. Cham, Heidelberg: Springer VDI Verlag. Art der Publikation: Forschungsartikel (Buchbeitrag) | |
Pohlers, Wolfram (2017) In: Jäger, Gerhard; Sieg, Wilfried (Hrsg.), Feferman on Foundations. Springer VDI Verlag. Art der Publikation: Forschungsartikel (Buchbeitrag) | |
Pohlers, Wolfram (2016) In: Probst, Dieter; Schuster, Peter (Hrsg.), Concepts of proof in mathematics, philosophy, and computer science. Berlin: De Gruyter. Art der Publikation: Forschungsartikel (Buchbeitrag) | |
Pohlers, Wolfram (2016) In: Kahle, Reinhard; Stram, Thomas; Studer, Thomas (Hrsg.), Advances in proof theory,. Cham: Birkhäuser Verlag. Art der Publikation: Forschungsartikel (Buchbeitrag) |
Promotionen
| 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 |