Order:
  1.  13
    (1 other version)The proof-theoretic analysis of Σ11 transfinite dependent choice.Christian Rüede - 2003 - Annals of Pure and Applied Logic 122 (1-3):195-234.
    This article provides an ordinal analysis of Σ11 transfinite dependent choice.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  34
    Intuitionistic Fixed Point Theories for Strictly Positive Operators.Christian Rüede & Thomas Strahm - 2002 - Mathematical Logic Quarterly 48 (2):195-202.
    In this paper it is shown that the intuitionistic fixed point theory equation image for α times iterated fixed points of strictly positive operator forms is conservative for negative arithmetic and equation image sentences over the theory equation image for α times iterated arithmetic comprehension without set parameters. This generalizes results previously due to Buchholz [5] and Arai [2].
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  15
    Universes in metapredicative analysis.Christian Rüede - 2003 - Archive for Mathematical Logic 42 (2):129-151.
    In this paper we introduce theories of universes in analysis. We discuss a non-uniform, a uniform and a minimal variant. An analysis of the proof-theoretic bounds of these systems is given, using only methods of predicative proof-theory. It turns out that all introduced theories are of proof-theoretic strength between Γ0 and ϕ1ɛ00.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark