Measurable cardinals and choiceless axioms.

Gabriel Goldberg

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

knowledge base
first order logic
axiomatic characterization
data sets
complete axiomatization
horn clauses
probability distribution
pairwise
information technology
email
domain knowledge
decision trees
knowledge representation
distributed systems
image processing
genetic algorithm
data mining
real time