When does every definable nonempty set have a definable element? Posted on June 22, 2017 by Joel David Hamkins 5
