| |
Westfälische Wilhelms-Universität
Münster
|
|
| Institut für Mathematische Logik und Grundlagenforschung Einsteinstraße 62 48149 Münster Direktoren: Prof. Dr. Wolfram Pohlers, N.N. |
Tel. (0251) 83-33768
Fax: (0251) 83-33078 e-mail: mathlog@uni-muenster.de www: http://www.uni-muenster.de/math/inst/logik/ |
 |
![[Startseite (Rektorat)]](icons/ic_sta_r.gif){kind=icon}
![[Inhaltsverzeichnis]](icons/ic_inh_r.gif){kind=icon}
![[vorherige Seite]](icons/ic_bac_r.gif){kind=icon}
![[nächste Seite]](icons/ic_nex_r.gif){kind=icon}
|
|
|||
![[Pfeile braun]](icons/ic_pfeil.gif){kind=icon} |
Forschungsschwerpunkte 2001 - 2002 Fachbereich 10 - Mathematik und Informatik
|
|||
| Die Forschung am Institut geschieht in der Regel als Einzelforschung. Die Forschungsschwerpunkte liegen in der beweistheoretischen Analyse von Axiomensystemen der Zahlentheorie zweiter Stufe und Mengenlehre und der sich daraus ergebenden Fragestellungen. Zusammenarbeit bestehen mit den Universitäten Utrecht (Prof. Dr. I. Mordijk, Dr. J. van Oosten, Prof. Dr. A. Visser, Prof. Dr. L. Beklemishev), Bonn (Prof. Dr. P. Koepke), München (Prof. Dr. W. Buchholz), Leeds(Prof. Dr. S. Wainer),Ohio (Prof. Dr. M. Rathjen, Prof. T. Carlson), Stanford (Prof. Dr. G. Mints, Prof Dr. S. Feferman, Western Australia (Prof. Dr. A.R. Woods) | ||||
| A | Arbeitsbereich Prof. Dr. Wolfram Pohlers | |||
| 1 | Klassische Beweistheorie | |||
| 2 | Funktionalinterpretationen | |||
| B | Arbeitsbereich Prof. Dr. Andreas Weiermann | |||
| 1 | Beweistheorie und subrekursive Hierarchien | |||
| 2 | Termersetzungssysteme | |||
| 3 | Analytische Kombinatorik und Beweistheorie | |||
| 4 | Analytische Kombinatorik und endliche Modelltheorie | |||
Hans-Joachim Peter