jdh.hamkins.org
A class of strong diamond principles
[bibtex key=Hamkins:LaverDiamond]