A simple formula equivalent to the axiom of choice.

Boleslaw Sobocinski

Published in: Notre Dame J. Formal Log. (1960)

Keyphrases

inference rules
data sets
neural network
support vector
search space