When does every definable nonempty set have a definable element?

François G. Dorais Joel David Hamkins

Published in: Math. Log. Q. (2019)

Keyphrases

first order logic
real time
small number
database
knowledge base
data structure
probability distribution
input data
answer sets