THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS

In this article, we will show that RT² + WKL₀ is a Π 1 1 -conservative extension of BΣ 3 0 .

Saved in:
Bibliographic Details
Published in:The Journal of symbolic logic 2018-12, Vol.83 (4), p.1610-1617
Main Authors: SLAMAN, THEODORE A., YOKOYAMA, KEITA
Format: Article
Language:English
Subjects:
Conservatism
Construction
Logic
Mathematics
Philosophy
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this article, we will show that RT² + WKL₀ is a Π 1 1 -conservative extension of BΣ 3 0 .
ISSN:0022-4812
1943-5886
DOI:10.1017/jsl.2018.19