Strongly uplifting cardinals and the boldface resurrection axioms.

Joel David Hamkins Thomas A. Johnstone

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

Keyphrases

first order logic
image processing
data sets
databases
knowledge base
case study
database systems
data structure
knowledge representation