The strength of ramsey's theorem for pairs and arbitrarily many colors

Theodore A. Slaman, Keita Yokoyama

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)

Abstract

In this article, we will show that is a -conservative extension of B&Sima 0 3 ;.

Original languageEnglish
Pages (from-to)1610-1617
Number of pages8
JournalJournal of Symbolic Logic
Volume83
Issue number4
DOIs
Publication statusPublished - 2018 Dec 1
Externally publishedYes

Keywords

  • first-order part
  • Ramsey's theorem
  • reverse mathematics

ASJC Scopus subject areas

  • Philosophy
  • Logic

Fingerprint

Dive into the research topics of 'The strength of ramsey's theorem for pairs and arbitrarily many colors'. Together they form a unique fingerprint.

Cite this