Get access

On the strength of Ramsey's theorem without Σ1-induction

Authors


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.

Get access to the full text of this article

Ancillary