کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661680 1633453 2015 30 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Forcing lightface definable well-orders without the GCH
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Forcing lightface definable well-orders without the GCH
چکیده انگلیسی
For any given uncountable cardinal κ with κ<κ=κ, we present a forcing that is <κ-directed closed, has the κ+-cc and introduces a lightface definable well-order of H(κ+). We use this to define a global iteration that adds such a well-order for all such κ simultaneously and is capable of preserving the existence of many large cardinals in the universe.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 5, May 2015, Pages 553-582
نویسندگان
, , ,