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

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