Mitglieder des Instituts für mathematische Logik und Grundlagenforschung
Professoren des Instituts
Prof. Dr. Benjamin Miller
Arbeitsgebiet: Mengenlehre Tel.: |
|
Prof. Dr. R. Schindler (Direktor)
Arbeitsgebiet: Mengenlehre Tel.: +49-251-83-33761 |
|
Prof. Dr. Andre Schulz (Junior-Professor)
Arbeitsgebiet: Tel.: +49 251 83-32764 |
|
Prof. Dr. Dr. Katrin Tent (Geschäftsführende Direktorin)
Arbeitsgebiet: Modelltheorie und Algebra Tel.: +49-251-83-33768 |
|
Prof. Dr. J. Diller
Arbeitsgebiet: Intuitionismus Tel.: +49-251-83-33760 |
|
Prof. Dr. W. Pohlers
Arbeitsgebiet: Beweistheorie Tel.: +49-251-83-33768 |
|
Martina Pfeifer Zimmer 811 Tel.: +49-251-83-33 790 Fax: +49-251-83-33 078 Anschrift: Einsteinstr. 62, 48149 Münster |
|
Dipl.-Math. Dominik Adolf
Arbeitsgebiet: Mengenlehre Tel.: +49-251-83-33767 |
|
Dr. Sean Cox
Arbeitsgebiet: Mengenlehre Tel.: +49-251-83-33764 |
|
Dr. Antongiuglio Fornasiero
Arbeitsgebiet: Modelltheorie Tel.: +49-251-83-33766 |
Dr. Shelly Garion
Arbeitsgebiet: Modelltheorie Tel.: +49-251-83-35055 |
|
Dipl.-Math. Zaniar Ghadernezhad
Arbeitsgebiet: Modelltheorie Tel.: +49-251-83-32762 |
| Dipl.-Math. Javier de la Nuez Gonzales
Arbeitsgebiet: Modelltheorie Tel.: +49-251-83-33766 |
|
Dr. Immanuel Halupczok
Arbeitsgebiet: Modelltheorie Tel.: +49-251-83-33762 |
| Dr. Itay Kaplan
Arbeitsgebiet: Modelltheorie Tel.: +49-251-83-32764 |
|
Dipl. Math. Marios Koulakis
Arbeitsgebiet: Mengenlehre Tel.: +49-251-83-32764 |
|
Dipl.-Math. Philipp Lücke
Arbeitsgebiet: Mengenlehre Tel.: +49-251-83-33764 |
|
Dipl.-Math. Carsten Szardenings
Arbeitsgebiet: Mengenlehre Tel.: +49-251-83-33760 |
|
PD. Dr. A. Beckmann
Arbeitsgebiet: Beweistheorie und beschränkte Arithmetik |
|
Dr. B. Blankertz
Arbeitsgebiet: Beweistheorie |
|
Dr. W. Burr
Arbeitsgebiet: Funktionalinterpretationen, Intuitionistische und klassische Arithmetik und ihre Teilsysteme, konstruktive Mengenlehre |
|
Dr. Daniel Busche
Arbeitsgebiet: Mengenlehre |
|
Dipl.-Math. Benjamin Claverie
Arbeitsgebiet: Mengenlehre |
|
Dipl.-Math. Philipp Doebler
Arbeitsgebiet: Mengenlehre |
|
Dr. Christoph Duchhardt
Arbeitsgebiet: Beweistheorie |
|
Dr. Gunter Fuchs
Arbeitsgebiet: Mengenlehre |
|
Dipl. Math. Guntram Hainke
Arbeitsgebiet: Gruppentheorie |
|
Dr. Christoph Heinatsch
Arbeitsgebiet: Beweistheorie |
|
Dipl.-Inf. Daisuke Ikegami
Arbeitsgebiet: Mengenlehre |
|
Dr. G. Lee
Arbeitsgebiet: Beweistheorie, Intuitionismus, Termersetzungssystem |
|
Dr. I. Lepper
Arbeitsgebiet: Termersetzungssysteme, Rekursionstheorie |
|
Dr. M. Möllerfeld
Arbeitsgebiet: Beweistheorie, Rekursionstheorie |
|
Dr. G. Moser
Arbeitsgebiet: Beweistheorie, Termersetzungssysteme |
|
Dipl.-Math. Lars Scheele
Arbeitsgebiet: Modelltheorie |
|
Prof. Dr. René Schipperus
Arbeitsgebiet: Mengenlehre |
|
Dr. Philipp Schlicht
Arbeitsgebiet: Mengenlehre |
|
Dr. K. F. Wehmeier
Arbeitsgebiet: Intuitionistische und klassische Arithmetik |
|
Prof. Dr. A. Weiermann
Arbeitsgebiet: Beweistheorie |
|
Dr. Gunnar Wilken
Arbeitsgebiet: Beweistheorie |
- Aktuelles
- Wochenplan (Kalender)
- Wochenplan (Liste)
- Wochenplan als ical
- Kolloquien
- Stellen FB10
- Stellen extern
- Bibliothek
- Buchrecherche
- Zeitschriftenrecherche
- Preprints
- Mathematical Reviews
- Zentralblatt für Mathematik
-
- Service
- Veranstaltungen buchen
- Ü-Leiter Bewerbung
- Rechnerwartung
- Raumbelegungsplan
- Raumreservierungen
- Personalverzeichnis
- Studieninfos
- Vorlesungsverzeichnis
- Prüfungsordnungen
