(Weak) diamond can fail at the least inaccessible cardinal
Volume 256 / 2022
Fundamenta Mathematicae 256 (2022), 113-129
MSC: 03E35, 03E55.
DOI: 10.4064/fm855-1-2021
Published online: 16 August 2021
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.
