Forcing indestructibility of set-theoretic axioms.

Bernhard König

Published in: J. Symb. Log. (2007)

Keyphrases

set theoretic
image recovery
knowledge base
first order logic
neural network
decision trees
probability distribution
approximation operators
data sets