Back to Search Start Over

Proof theory and ordinal analysis

Authors :
Wolfram Pohlers
Source :
Archive for Mathematical Logic. 30:311-376
Publication Year :
1991
Publisher :
Springer Science and Business Media LLC, 1991.

Abstract

In the first part we show why ordinals and ordinal notations are naturally connected with proof theoretical research. We introduce the program of ordinal analysis. The second part gives examples of applications of ordinal analysis.

Subjects

Subjects :
Discrete mathematics
Nimber
Gentzen's consistency proof
Logic
Ordinal analysis
Aleph number
Algebra
Mathematics::Logic
Philosophy
Ordinal arithmetic
Ordinal number
Kripke–Platek set theory
Ordinal notation
Mathematics

Details

ISSN :
14320665 and 09335846
Volume :
30
Database :
OpenAIRE
Journal :
Archive for Mathematical Logic
Accession number :
edsair.doi...........e6be970f0ceecb024f6b4e4ef09a3ba5
Full Text :
https://doi.org/10.1007/bf01621474
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details