On External Scott Algebras in Nonstandard Models of Peano Arithmetic.

Vladimir Kanovei

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

Keyphrases

internal and external
databases
real world
decision making
database
machine learning
control system
probabilistic model
statistical model