The axiom of multiple choice and models for constructive set theory.

Benno van den Berg Ieke Moerdijk

Published in: J. Math. Log. (2014)

Keyphrases

multiple choice
set theory
open ended
machine learning
databases
data mining
learning process