A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models.

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

Keyphrases

computational models
probabilistic model
rough sets
model selection
process model
mathematical models
theoretical models
theoretical developments
search engine
parameter estimation
statistical model
mathematical theory
cognitive models