کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661809 | 1633455 | 2015 | 19 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Large cardinals and definable well-orders, without the GCH
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
We use this result to construct a class-sized partial order with the above preservation properties that forces the existence of well-orders of H(κ+) definable in the structure ãH(κ+),âã for every inaccessible cardinal κ. Assuming the GCH, David Asperó and Sy-David Friedman showed in [1] and [2] that there is a class-sized partial order preserving ZFC and various large cardinals and forcing the existence of a well-order of the universe whose restriction to H(κ+) is definable in ãH(κ+)V[G],âã by a parameter-free formula for every uncountable regular cardinal κ. Our second result can be interpreted as a boldface version of this result in the absence of the GCH.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 3, March 2015, Pages 306-324
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 3, March 2015, Pages 306-324
نویسندگان
Sy-David Friedman, Philipp Lücke,