Skip to main content
Notice removed Draw attention by CommunityBot
Bounty Ended with Not Mike's answer chosen by CommunityBot
Notice added Draw attention by Dan Saattrup Nielsen
Bounty Started worth 100 reputation by Dan Saattrup Nielsen
Changed title
Link

Can Does $\diamondsuit(\kappa)$ provably hold at Woodins or inaccessible Jónssons $\kappa$?

edited title
Link

Can $\diamondsuit(\kappa)$ hold at Woodins or inaccessible JönssonsJónssons $\kappa$?

Source Link

Can $\diamondsuit(\kappa)$ hold at Woodins or inaccessible Jönssons $\kappa$?

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 below a weakly compact has been shown to consistently not satisfy it (see Failure of diamond at large cardinals and Ben Neria ('17)).

That subtle cardinals satisfy diamond of course means that almost all large cardinals do satisfy it as well, but there are some strange ones lying around though, including Woodin cardinals and inaccessible Jónsson cardinals. Is anything known about diamond holding for any of these two?