Results on the Generic Kurepa Hypothesis
暂无分享,去创建一个
K.J. Devlin has extended Jensen's construction of a model ofZFC andCH without Souslin trees to a model without Kurepa trees either. We modify the construction again to obtain a model with these properties, but in addition, without Kurepa trees inccc-generic extensions. We use a partially defined ◊-sequence, given by a fine structure lemma. We also show that the usual collapse ofκ Mahlo toω2 will give a model without Kurepa trees not only in the model itself, but also inccc-extensions.
[1] Keith Devlin,et al. The Souslin problem , 1974 .
[2] Philip D. Welch,et al. Coding the Universe: Some further applications , 1982 .
[3] K. Devlin. Concerning the consistency of the Souslin hypothesis with the continuum hypothesis , 1980 .