Reverse Mathematics of First-order Theories with Finitely Many Models.

David R. Bélanger

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

Keyphrases

computational models
mathematical models
computer science
complex systems
neural network model
data mining
machine learning
artificial intelligence
prior knowledge
probabilistic model
process model
finite number
theoretical models