A definable nonstandard model of the reals.

Vladimir Kanovei Saharon Shelah

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

Keyphrases

probabilistic model
computational model
process model
first order logic
database
real time
neural network
high level
relational databases
prior knowledge
cost function
mathematical model
conceptual model
formal model