5 found
Order:
  1.  5
    On a Relationship Between Gödel's Second Incompleteness Theorem and Hilbert's Program.Ryota Akiyoshi - 2009 - Annals of the Japan Association for Philosophy of Science 17:13-29.
  2.  2
    Reading Gentzen's Three Consistency Proofs Uniformly.Ryota Akiyoshi & Yuta Takahashi - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):1-22.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  6
    Proof Theory as an Analysis of Impredicativity.Ryota Akiyoshi - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):93-107.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  20
    Tait's Conservative Extension Theorem Revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.
    This paper aims to give a correct proof of Tait's conservative extension theorem. Tait's own proof is flawed in the sense that there are some invalid steps in his argument, and there is a counterexample to the main theorem from which the conservative extension theorem is supposed to follow. However, an analysis of Tait's basic idea suggests a correct proof of the conservative extension theorem and a corrected version of the main theorem.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  5.  4
    An Extension of the Omega-Rule.Ryota Akiyoshi & Grigori Mints - 2016 - Archive for Mathematical Logic 55 (3-4):593-603.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark