2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/61132If kappa is strongly compact, lambda > kappa is regular, then (2^{< lambda})^+ --> (lambda+eta)^2_theta holds for eta,theta<kappa.LogicA partition relation using strongly compact cardinalstext