Strongly compact cardinals and the continuum function

نویسندگان

چکیده

We study the general problem of behaviour continuum function in presence non-supercompact strongly compact cardinals. begin by showing that it is possible to force violations GCH at an arbitrary cardinal using only strong compactness as our initial assumption. This result due third author. then investigate realising Easton functions and above least measurable limit supercompact cardinals starting from assumption existence a By results Menas, assuming 2κ=κ+, κ provably ZFC which not κ+-supercompact. also consider generalisations earlier theorems more than one cardinal. conclude with some open questions.

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

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

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

منابع مشابه

ON THE FIRST n STRONGLY COMPACT CARDINALS

Using techniques of Kimchi and Magidor, we generalize an earlier result and show that it is relatively consistent for the first n strongly compact cardinals to be somewhat supercompact yet not fully supercompact. The class of strongly compact cardinals is, without a doubt, one of the most peculiar in the entire theory of large cardinals. As is well known, the class of strongly compact cardinals...

متن کامل

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...

متن کامل

Normal Measures and Strongly Compact Cardinals

We prove four theorems concerning the number of normal measures a non-(κ+ 2)-strong strongly compact cardinal κ can carry.

متن کامل

Consecutive Singular Cardinals and the Continuum Function

We show that from a supercompact cardinal κ, there is a forcing extension V [G] that has a symmetric inner model N in which ZF + ¬AC holds, κ and κ are both singular, and the continuum function at κ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of κ of length equal to any predetermined ordinal. We also show that the above situation can be...

متن کامل

Exactly controlling the non-supercompact strongly compact cardinals

We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardi...

متن کامل

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


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

ژورنال

عنوان ژورنال: Annals of Pure and Applied Logic

سال: 2021

ISSN: ['0168-0072', '1873-2461']

DOI: https://doi.org/10.1016/j.apal.2021.103013