Relative consistency results via strong compactness
Arthur Apter, James Henle (1991)
Fundamenta Mathematicae
Similarity:
Arthur Apter, James Henle (1991)
Fundamenta Mathematicae
Similarity:
F. Drake (1970)
Fundamenta Mathematicae
Similarity:
Julius Barbanel (1985)
Fundamenta Mathematicae
Similarity:
W. Hanf (1964)
Fundamenta Mathematicae
Similarity:
A. Wojciechowska (1972)
Fundamenta Mathematicae
Similarity:
Sy-David Friedman (2009)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
D. W. H. Gillam (1978)
Colloquium Mathematicae
Similarity:
Arthur Apter (1984)
Fundamenta Mathematicae
Similarity:
Julius Barbanel (1991)
Fundamenta Mathematicae
Similarity:
Dima Sinapova (2015)
Fundamenta Mathematicae
Similarity:
We present a new forcing notion combining diagonal supercompact Prikry forcing with interleaved extender based forcing. We start with a supercompact cardinal κ. In the final model the cofinality of κ is ω, the singular cardinal hypothesis fails at κ, and GCH holds below κ. Moreover we define a scale at κ which has a stationary set of bad points in the ground model.