TY  - RPRT
TI  - When does every definable nonempty set have a definable element?
AU  - François G. Dorais
AU  - Joel David Hamkins
PY  - 2017
UR  - https://arxiv.org/abs/1706.07285
ID  - 1706.07285
ER  -