(Weak) diamond can fail at the least inaccessible cardinal
arXiv:1607.00751
Abstract
Starting from suitable large cardinals, we force the failure of (weak) diamond at the least inaccessible cardinal. The result improves an unpublished theorem of Woodin and a recent result of Ben-Neria, Garti and Hayut.
arXiv commentThis is the preliminary version of the paper