Abstract
Pohlers's ordinal analysis in his monograph [12] contains some flaws and thereby ends up with incorrect proof-theoretic ordinals of several systems. The present paper determines their correct proof-theoretic ordinals and also supplements [12] with the ordinal analysis of some other relevant impredicative systems.
Original language | English |
---|---|
Pages (from-to) | 409-463 |
Number of pages | 55 |
Journal | Annals of Pure and Applied Logic |
Volume | 166 |
Issue number | 4 |
Early online date | 16 Dec 2014 |
DOIs | |
Publication status | Published - 1 Apr 2015 |