Title of article :
The proof-theoretic analysis of Σ11 transfinite dependent choice
Original Research Article
Author/Authors :
Christian Rüede، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
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
Journal title :
Annals of Pure and Applied Logic
