Results for 'MSC (2010) Primary 03F35'

Order:
  1.  29
    On the strength of Ramsey's theorem without Σ1 -induction.Keita Yokoyama - 2013 - Mathematical Logic Quarterly 59 (1-2):108-111.
    In this paper, we show that equation image is a equation image-conservative extension of BΣ1 + exp, thus it does not imply IΣ1.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations