کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5778635 1633780 2017 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The inductive strength of Ramsey's Theorem for Pairs
ترجمه فارسی عنوان
قدرت القایی قضیه رامزی برای جفت
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات ریاضیات (عمومی)
چکیده انگلیسی
We address the question, “Which number theoretic statements can be proven by computational means and applications of Ramsey's Theorem for Pairs?” We show that, over the base theory RCA0, Ramsey's Theorem for Pairs does not imply Σ20-induction.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Advances in Mathematics - Volume 308, 21 February 2017, Pages 121-141
نویسندگان
, , ,