Usually the question whether the diamond principle $ \diamondsuit(\kappa)$ holds for some large cardinal $ \kappa$ only concerns large cardinal notions of very low consistency (among the weakly compacts). Partly since it does hold for all subtle cardinals, which are only barely stronger than the weakly compacts, and pretty much every large cardinal notion belowRead more