CZF does not have the existence property.

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

databases
genetic algorithm
data sets
decision making
decision trees
high level
bayesian networks
mobile devices
mobile robot
probability distribution
fixed point theorem
monotonicity property