@misc{indiciae5075eb1e3974,
  title = {When does every definable nonempty set have a definable element?},
  author = {François G. Dorais and Joel David Hamkins},
  year = {2017},
  url = {https://arxiv.org/abs/1706.07285},
  note = {Source identifier: 1706.07285}
}