Name
Abstract | ||
|---|---|---|
This paper is the second in a series of three culminating in an ordinal analysis of Pi(2)(1)-comprehension. Its objective is to present an ordinal analysis for the subsystem of second order arithmetic with Delta(2)(1)-comprehension, bar induction and Pi(2)(1)-comprehension for formulae without set parameters. Couched in terms of Kripke-Platek set theory, KP, the latter system corresponds to KPi augmented by the assertion that there exists a stable ordinal, where KPi is KP with an additional axiom stating that every set is contained in an admissible set. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1007/s00153-004-0232-4 | ARCHIVE FOR MATHEMATICAL LOGIC |
DocType | Volume | Issue |
Journal | 44 | 3 |
ISSN | Citations | PageRank |
1432-0665 | 5 | 0.52 |
References | Authors | |
5 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Michael Rathjen | 1 | 42 | 6.58 |