Combinatorial principles in Jense type extender models of the form L[E] Line2.

摘要

We prove that SDkappa(D) is true in L[E] if and only if kappa not subcompact cardinal, and that SDkappa (D) is true for any inaccessible cardinal. Also we prove that if a non-reflecting stationary subset of kappa+ that concentrates on points of cofinality leass than kappa exists, then □(kappa +) and □*(kappa+, B) are true.