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

Direktoren: Prof. Dres. Justus Diller, Wolfram Pohlers

 
 
 
[Pfeile blau] Forschungsschwerpunkte 1997 - 1998
Fachbereich 15 - Mathematik und Informatik
Institut für Mathematische Logik und Grundlagenforschung
Arbeitsbereich Prof. Dr. J. Diller
 


Fragmente und Modelle der intuitionistischen Arithmetik

In der Heyting-Arithmetik konnten Hierarchien von Fragmenten fixiert werden, die dieselbe Pi_2-Stärke wie die Fragmente IPi_n von PA haben. Ferner werden Kripkestrukturen aus klassischen Modellen von PA untersucht. Das Projekt wird fortgesetzt.

Beteiligte Wissenschaftler:

Dipl.Math. W. Burr, Prof.Dr. J. Diller (Leiter), M. Stentenbach, Dr. K.F. Wehmeier
 
 
[Startseite (Rektorat)] [Inhaltsverzeichnis] [vorherige Seite] [nächste Seite]

Hans-Joachim Peter
EMail: vdv12@uni-muenster.de
HTML-Einrichtung: Izabela Klak
Informationskennung: FO15BA02
Datum: 1999-05-31