کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6425961 | 1345399 | 2012 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Î 11-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We study combinatorial principles weaker than Ramsey's theorem for pairs over the RCA0 (recursive comprehension axiom) system with Σ20-bounding. It is shown that the cohesiveness (COH), ascending and descending sequence (ADS), and chain/antichain (CAC) principles are all Π11-conservative over Σ20-bounding. In particular, none of these principles proves Σ20-induction.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Advances in Mathematics - Volume 230, Issue 3, 20 June 2012, Pages 1060-1077
Journal: Advances in Mathematics - Volume 230, Issue 3, 20 June 2012, Pages 1060-1077
نویسندگان
C.T. Chong, Theodore A. Slaman, Yue Yang,