Diamond (on the regulars) can fail at any strongly unfoldable cardinal

Joel David Hamkins, Mirna Džamonja

If kappa is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which Diamond_kappa(REG) fails. This result continues the progression of the correspo…