| Forschungsbericht 1999-2000 | |
 |
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]](icons/ic_pfeil.gif){kind=icon} |
Forschungsschwerpunkte 1999 - 2000
Fachbereich 10 - 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 dieselben
Pi2-Stärke wie die Fragmente IPin von PA haben. Ferner werden
Kripkestrukturen aus klassischen Modellen von PA untersucht. Das Projekt wird fortgesetzt.
Beteiligte Wissenschaftler: |
||||
![[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}
|
Hans-Joachim Peter