Resurrection axioms and uplifting cardinals.

Joel David Hamkins Thomas A. Johnstone

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

Keyphrases

first order logic
knowledge base
information retrieval
data sets
databases
image processing
multi agent
expert systems
knowledge representation
derived predicates