SEARCH

SEARCH BY CITATION

Keywords:

  • Reverse Mathematics;
  • Ramsey's theorem;
  • proof-theoretic strength;
  • indicator function;
  • MSC (2010) Primary 03F35;
  • 03B30;
  • 05D10;
  • Secondary 03H15;
  • 03C62

Abstract

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.