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.
Service Logik
Last modified: Mon May 27 19:18:46 MEST 2002
| 
