Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661759 | Annals of Pure and Applied Logic | 2015 | 55 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Kentaro Fujimoto,