کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6425961 | 1345399 | 2012 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Î 11-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Î 11-conservation of combinatorial principles weaker than Ramsey's theorem for pairs Î 11-conservation of combinatorial principles weaker than Ramsey's theorem for pairs](/preview/png/6425961.png)
چکیده انگلیسی
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,