The inductive strength of Ramsey's theorem for pairs
type: Item
instance of: scholarly article
title: The inductive strength of Ramsey's theorem for pairs
zbMATH Open document ID: 1423.03047
author: Theodore A. Slaman
author: Yue Yang
author: C. T. Chong
published in: Advances in Mathematics
publication date: 2017-02-03T00:00:00Z
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03D80
Mathematics Subject Classification ID: 05D10
zbMATH DE Number: 6680446
zbMATH Keywords: reverse mathematics
zbMATH Keywords: \(\mathrm{RCA}_0\)
zbMATH Keywords: \(\operatorname{\Sigma}_2^0\)-bounding
zbMATH Keywords: Ramsey's theorem for pairs
zbMATH Keywords: stable Ramsey's theorem for pairs
MaRDI profile type: Publication
full work available at URL: j.aim.2016.11.036
OpenAlex ID: W2565215485
cites work: On the strength of Ramsey's theorem for pairs
cites work: Corrigendum to: “On the strength of Ramsey's Theorem for pairs”
cites work: On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
cites work: The degree of a \(\Sigma_ n\) cut
cites work: \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
cites work: The metamathematics of Stable Ramsey’s Theorem for Pairs
cites work: Ramsey's theorem and recursion theory
cites work: Completeness Theorems, Incompleteness Theorems and Models of Arithmetic
cites work: Σ_{𝑛}-bounding and Δ_{𝑛}-induction
DOI: 10.1016/J.AIM.2016.11.036
description: scientific article; zbMATH DE number 6680446