کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5778635 | 1633780 | 2017 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The inductive strength of Ramsey's Theorem for Pairs
ترجمه فارسی عنوان
قدرت القایی قضیه رامزی برای جفت
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
چکیده انگلیسی
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
Journal: Advances in Mathematics - Volume 308, 21 February 2017, Pages 121-141
نویسندگان
C.T. Chong, Theodore A. Slaman, Yue Yang,