A Galois correspondence for countable short recursively saturated models of PA.

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

Keyphrases

neural network
mathematical models
data sets
statistical models
probabilistic model
information retrieval
artificial intelligence
information systems
case study
image segmentation
prior knowledge
machine learning
complex systems
image matching
data mining
neural network model
real world