Automorphism Groups of Countable Arithmetically saturated Models of Peano Arithmetic.

James H. Schmerl

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

Keyphrases

databases
prior knowledge
modeling framework
model selection
statistical models
real time
computer vision
search algorithm
control system
experimental data
classification models