jdh.hamkins.org
When does every definable nonempty set have a definable element?
[bibtex key=”DoraisHamkins:When-does-every-definable-nonempty-set-have-a-definable-element”]