Title of article
The proof-theoretic analysis of Σ11 transfinite dependent choice Original Research Article
Author/Authors
Christian Rüede، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
40
From page
195
To page
234
Abstract
This article provides an ordinal analysis of Σ11 transfinite dependent choice.
Keywords
Metapredicativity , ?11 transfinite dependent choice , Proof theory , Ordinal analysis
Journal title
Annals of Pure and Applied Logic
Serial Year
2003
Journal title
Annals of Pure and Applied Logic
Record number
889911
Link To Document