Independence proof concerning compact cardinals, continuum hypotbesis, and normal ultrafilters

点击翻译按钮获取中文摘要

We investigated a K<@D1+@>D1-C.C.(]SY.di-substituted right.[)K-strategically closed forcing adding arbitrary nunber of closed unbounded subsets of K.A Lottery preparation followed by this forcing preserves the strong compactness of K.In the resulting model the restricions of all normal ultrafilters to the ground model coincide.We know a symmetric model in which the genemlized continuum hypothesis holds below a strongly compact cardinal K and fails at K.However it turned out establishing the same thing together with the axiom of choice is far more difficult than had been expected. It is not clear whether the strong compactness of K is preserved when we force the the axion of choice on the symmetric model.Several facts and new technique are founded as in the folllowing.Forcing : (1)Adding many closed unbounded sets (2)Adding non-reflecting stationary sets to P_klambda (3)Forcing a non-regular ultrafilter on P_kK^<+++> with K supercompact.Combinatorics : (1)Combinatorial characterization of PIi-indescribability in P_klambda.(2)Bounded ideal may or may not have the partition property.(3)Bounded ideal is not precipitousIt is expected that further research makes the relation between the partition property and ineffability of P_klambda clear to bring great progress in the combinatorics of P_klambda.