On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic.

Nicholas Bamber Henryk Kotlarski

Published in: Math. Log. Q. (1997)

Keyphrases

case study
real time
data mining
search engine
experimental data
database
reinforcement learning
relational databases
probabilistic model
complex systems
statistical models
parametric models
modeling framework