Title | ||
---|---|---|
Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory. |
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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.apal.2014.11.001 | Annals of Pure and Applied Logic |
Keywords | Field | DocType |
03F05,03F15,03F35 | Discrete mathematics,Set theory,Kripke–Platek set theory,Ordinal number,Ordinal notation,Ordinal analysis,Impredicativity,Ordinal arithmetic,Iterated function,Mathematics | Journal |
Volume | Issue | ISSN |
166 | 4 | 0168-0072 |
Citations | PageRank | References |
0 | 0.34 | 2 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kentaro Fujimoto | 1 | 0 | 0.68 |