کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662145 | 1633516 | 2009 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On Fraïssé’s conjecture for linear orders of finite Hausdorff rank
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
We prove that the maximal order type of the wqo of linear orders of finite Hausdorff rank under embeddability is φ2(0), the first fixed point of the ε-function. We then show that Fraïssé’s conjecture restricted to linear orders of finite Hausdorff rank is provable in +“φ2(0) is well-ordered” and, over , implies +“φ2(0) is well-ordered”.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 160, Issue 3, September 2009, Pages 355-367
Journal: Annals of Pure and Applied Logic - Volume 160, Issue 3, September 2009, Pages 355-367