The long extender algebra
نویسنده
چکیده
Generalizing Woodin’s extender algebra, cf. e.g. [8], we isolate the long extender algebra as a general version of Bukowský’s forcing, cf. [1], in the presence of a supercompact cardinal.
منابع مشابه
The Extender Algebra and Vagaries of Σ 21 Absoluteness Philipp
We review the construction of the extender algebra, a Boolean algebra which is due to Woodin, with δ-many generators. The resulting genericity iteration is applied to prove a new Σ1-absoluteness theorem for c.c.c. forcings with ordinal parameters. Additionally we introduce and discuss sets that extend to a class with unique condensation. We analyse the sets that extend to classes with unique co...
متن کاملOn the extender algebra being complete
We show that a Woodin cardinal is necessary for the Extender Algebra to be complete. Our proof is relatively simple and does not use fine structure.
متن کاملReview: Semen extenders used in the artificial insemination of swine
This report reviews the latest knowledge on boar semen diluents used in artificial insemination procedures. The requirements of an effective fresh semen diluent are discussed and currently available extenders are compared. Finally, we suggest directions to be taken in future research on this topic. A semen extender should be carefully selected according to its proposed use. For a planned semen ...
متن کاملThe Extender Algebra and Vagaries of Σ 21 Absoluteness
We review the construction of the extender algebra, a Boolean algebra which is due to Woodin, with δ-many generators. The resulting genericity iteration is applied to prove a new Σ1-absoluteness theorem for c.c.c. forcings with ordinal parameters. We also introduce and discuss sets of ordinals that extend to a class with unique condensation. This paper mostly deals with the extender algebra, a ...
متن کاملPrikry Forcing with Long Extenders
In this note, we go through Gitik’s Long Extender forcing. In order to motivate it, work through the basic Pirkry forcing as well as the diagonal Prikry forcing. The presentation here is based on Spencer Unger’s lectures from the 2015 GSST in addition to Gitik’s Handbook chapter.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 57 شماره
صفحات -
تاریخ انتشار 2018