The Wholeness Axioms and V=HOD.

Joel David Hamkins

Published in: Arch. Math. Log. (2001)

Keyphrases

knowledge base
first order logic
pattern recognition
axiomatic characterization
search engine
image processing
data streams
database
real time
data mining
machine learning
image segmentation
xml documents
state space