Class forcing, the forcing Theorem and Boolean Completions.

Peter Holy Regula Krapf Philipp Lücke Ana Njegomir Philipp Schlicht

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

Keyphrases

real valued
information systems
databases
neural network
real world
genetic algorithm
image processing
objective function
boolean functions
interactive theorem proving