Forschungsbericht 1999-2000   
WWU-Logo Institut für Mathematische Logik
und Grundlagenforschung
Einsteinstr. 62
48149 Münster
Tel. (0251) 83-33760/61, 33768/33078, 33762/33078
Fax: (0251) 83-33078
e-mail: dillerj/pohlers/weierma@math.uni-muenster.de
WWW: http://wwwmath.uni-muenster.de/math/inst/logik

Direktoren: Prof. Dres. Justus Diller, Wolfram Pohlers

 
 
 
[Pfeile gelb] Forschungsschwerpunkte 1999 - 2000
Fachbereich 10 - Mathematik und Informatik
Institut für Mathematische Logik und Grundlagenforschung
 
  Die Forschung am Institut wird als Einzelforschung betrieben. Ihr Schwerpunkt liegt im konstruktiven Bereich der mathematischen Grundlagenforschung, insbesondere in Beweistheorie, Intuitionismus und Analytischer Kombinatorik. Kooperation besteht besonders mit Logikern in Amsterdam (Prof. Dr. A. S. Troelstra), in München (Prof. Dr. W. Buchholz), in Pittsburg, PA, USA (Prof. Dr. W. Sieg), in Leeds, GB (Prof. Dr. St. Wainer), in Bern (Prof. Dr. G. Jäger), in Stanford, CA, USA (Prof. Dr. S. Feferman), in Campinas, SP, Brasilien (Prof. Dr. W. A. Carnielli), in Uetrecht, NL (Prof. Dr. L. Beklemishev), in Hiroschima, Japan (Prof. Dr. T. Arai) und in Inria (Les Chesnay), F (Prof. Dr. P. Flajolet)

 

 A  Arbeitsbereich Prof. Dr. J. Diller
   1      Fragmente und Modelle der intuitionistischen Arithmetik
   2      Funktionalinterpretationen
   3      Scholz-Nachlass
 B  Arbeitsbereich Prof. Dr. W. Pohlers
   1      Klassische Beweistheorie
 C  Arbeitsbereich Prof. Dr. A. Weiermann
   1      Analytische Kombinatorik und Beweistheorie
   2      Beweistheorie und Rekursionstheorie
   3      Termersetzungssysteme
   4      Beweistheorie und subrekursive Hierarchien
 
 
[Startseite (Rektorat)] [Inhaltsverzeichnis] [vorherige Seite] [nächste Seite]

Hans-Joachim Peter
EMail: vdv12@uni-muenster.de
HTML-Einrichtung: Izabela Klak
Informationskennung: FO10B
Datum: 2001-03-23 ---- 2001-05-09