✦ LIBER ✦
The proof-theoretic analysis of Σ11 transfinite dependent choice
✍ Scribed by Christian Rüede
- Publisher
- Elsevier Science
- Year
- 2003
- Tongue
- English
- Weight
- 361 KB
- Volume
- 122
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
✦ Synopsis
This article provides an ordinal analysis of 1 1 transÿnite dependent choice.