The proof-theoretic analysis of Σ11 transfinite dependent choice☆
Under an Elsevier user license
open archive
MSC
03F03
03F35
Keywords
Σ11 transfinite dependent choice
Metapredicativity
Proof theory
Ordinal analysis
Cited by (0)
- ☆
This paper comprises a part of the author's Ph.D. dissertation [13].
Copyright © 2003 Elsevier B.V. All rights reserved.