jdh.hamkins.org
Ord is not definably weakly compact
[bibtex key=EnayatHamkins2018:Ord-is-not-definably-weakly-compact]