کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661594 1633444 2016 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Separating club-guessing principles in the presence of fat forcing axioms
ترجمه فارسی عنوان
اصول از هم جدا حدس باشگاه در حضور بدیهیات اجباری چربی
کلمات کلیدی
اجبار تکرار ؛ اصول حدس باشگاه ؛ شرایط طرف. نظریه رمزی رنگارنگ
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

We separate various weak forms of Club Guessing at ω1ω1 in the presence of 2ℵ02ℵ0 large, Martin's Axiom, and related forcing axioms.We also answer a question of Abraham and Cummings concerning the consistency of the failure of a certain polychromatic Ramsey statement together with the continuum large.All these models are generic extensions via finite support iterations with symmetric systems of structures as side conditions, possibly enhanced with ω-sequences of predicates, and in which the iterands are taken from a relatively small class of forcing notions.We also prove that the natural forcing for adding a large symmetric system of structures (the first member in all our iterations) adds ℵ1ℵ1-many reals but preserves CH.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 3, March 2016, Pages 284–308
نویسندگان
, ,