Existentially Closed Structures and Gödel's Second Incompleteness Theorem.

Zofia Adamowicz Teresa Bigorajska

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

Keyphrases

incomplete information
standard model
database
machine learning
artificial intelligence
image processing
clustering algorithm
bayesian networks
missing values
von neumann