On the strength of a weak variant of the axiom of counting.

Zachiri McKenzie

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

Keyphrases

databases
artificial intelligence
modal logic
feature extraction
support vector
lower bound
information extraction