Diamond, square, and level by level equivalence
Level by level equivalence between strong compactness and supercompactness
scientific article; zbMATH DE number 2168086