jdh.hamkins.org
The universal finite set
[bibtex key=”HamkinsWoodin:The-universal-finite-set”]