Generic large cardinals: New axioms for mathematics?
Foreman, Matthew (1998)
Documenta Mathematica
Similarity:
Foreman, Matthew (1998)
Documenta Mathematica
Similarity:
Sy-David Friedman (2009)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Arthur W. Apter (2003)
Fundamenta Mathematicae
Similarity:
We construct a model in which there is a strong cardinal κ whose strongness is indestructible under κ-strategically closed forcing and in which level by level equivalence between strong compactness and supercompactness holds non-trivially.
Miroslav Repický (1988)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Sy-David Friedman (2010)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Arthur W. Apter (2002)
Fundamenta Mathematicae
Similarity:
If κ is either supercompact or strong and δ < κ is α strong or α supercompact for every α < κ, then it is known δ must be (fully) strong or supercompact. We show this is not necessarily the case if κ is strongly compact.
Arthur W. Apter (2015)
Bulletin of the Polish Academy of Sciences. Mathematics
Similarity:
Starting from a supercompact cardinal κ, we force and construct a model in which κ is both the least strongly compact and least supercompact cardinal and κ exhibits mixed levels of indestructibility. Specifically, κ 's strong compactness, but not its supercompactness, is indestructible under any κ -directed closed forcing which also adds a Cohen subset of κ. On the other hand, in this model, κ 's supercompactness is indestructible under any κ -directed closed forcing which does not add...
Arthur Apter, James Henle (1991)
Fundamenta Mathematicae
Similarity:
Arthur Apter (1984)
Fundamenta Mathematicae
Similarity: