Nonstandard models that are definable in models of Peano Arithmetic.

Kazuma Ikeda Akito Tsuboi

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

Keyphrases

database
random fields
genetic algorithm
prior knowledge
probabilistic model
model selection
parameter estimation
complex systems