Tameness from Large Cardinal Axioms.

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

Keyphrases

knowledge base
pattern recognition
connected regions
database
data sets
databases
machine learning
first order logic
complete axiomatization