Vaught's Theorem on Axiomatizability by a Scheme.

Published in: Bull. Symb. Log. (2012)

Keyphrases

classification scheme
special case
machine learning
knowledge base
expert systems
optimization scheme
database
search engine
image segmentation
reinforcement learning
secret sharing scheme