The exact strength of the class forcing Theorem.

Victoria Gitman Joel David Hamkins Peter Holy Philipp Schlicht Kameryn J. Williams

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

Keyphrases

real time
decision making
data sets
neural network
artificial intelligence
computer vision
bayesian networks
high dimensional
relational databases
control system
sufficient conditions