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