Fachbereich Mathematik und Informatik

Suchen
Institut fü Mathematische Logik und Grundlagenforschung
Einsteinstraße 62
48149 Münster
Tel.: +49-251-83-33 790
Fax: +49-251-83-33 078
pfeifer@math.uni-muenster.de

Startseite des Instituts
Startseite Mathematik und Informatik
Startseite
Universität Münster

Kontakt
Impressum
Infinitary Proof Theory

Infinitary Proof Theory


File: PS-File (1006 KB)
File: gzipped PS-File (195 KB)
File: pdf-file (578 KB)

Author: W. Pohlers
Title: Infinitary Proof Theory
Kind: Lecture
Year: 1999/2000
Pages: 66

Zusammenfassung:
The lecture comprises three parts. The first part gives a general overview on proof theoretic ordinals. In the second part we compute the proof theoretic ordinal of Peano arithmetic as an example for a predicative theory. The third part contains the computation of the proof theoretic ordinal of the theory of one inductive definition as an example for an impredicative theory. This part is improved in comparison to LN 1407.


Logik Mathe WWU übergeordnetes Verzeichnis

Service Logik
Last modified: Mon May 27 19:18:46 MEST 2002

zurückblättern

Diese Seite:  :: Seite drucken   :: Seite empfehlen  :: Seite kommentieren

© FB 10 Mathematik und Informatik

© FB 10 Mathematik und Informatik der Universität Münster
Einsteinstrasse 62 · 48149 Münster
Tel.: +49 251 83-3 30 16 · Fax: +49 251 83-3 83 50
E-Mail: mathdek@math.uni-muenster.de