Tall Cardinals in Extender Models

نویسندگان

چکیده

Assuming that there is no inner model with a Woodin cardinal, we obtain characterization of λ-tall cardinals in extender models are iterable. In particular, prove such models, cardinal κ tall if and only it either strong or measurable limit cardinals.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Tall , Strong , and Strongly Compact Cardinals ∗ † Arthur

We construct three models in which there are different relationships among the classes of strongly compact, strong, and non-strong tall cardinals. In the first two of these models, the strongly compact and strong cardinals coincide precisely, and every strongly compact/strong cardinal is a limit of non-strong tall cardinals. In the remaining model, the strongly compact cardinals are precisely c...

متن کامل

On Tall Cardinals and Some Related Generalizations

We continue the study of tall cardinals and related notions begun by Hamkins in [11] and answer three of his questions posed in that paper.

متن کامل

A note on tall cardinals and level by level equivalence

Starting from a model V “ZFC + GCH + κ is supercompact + No cardinal is supercompact up to a measurable cardinal”, we force and construct a model V P such that V P “ZFC + κ is supercompact + No cardinal is supercompact up to a measurable cardinal + δ is measurable iff δ is tall” in which level by level equivalence between strong compactness and supercompactness holds. This extends and generaliz...

متن کامل

Some Remarks on Tall Cardinals and Failures of GCH

We investigate two global GCH patterns which are consistent with the existence of a tall cardinal and also present some related open questions.

متن کامل

Stationary Reflection in Extender Models

Working in L[E], we examine which large cardinal properties of κ imply that all stationary subsets of cof(<κ) ∩ κ reflect.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Notre Dame Journal of Formal Logic

سال: 2021

ISSN: ['0029-4527', '1939-0726']

DOI: https://doi.org/10.1215/00294527-2021-0023