Strong compactness and a partition property

Abstract

We show that if Part ⁡ ( κ , λ ) \operatorname {Part}(\kappa ,\lambda ) holds for every λ ≥ κ \lambda \ge \kappa , then κ \kappa is strongly compact.