Incompatible bounded category forcing axioms.

David Asperó Matteo Viale

Published in: J. Math. Log. (2022)

Keyphrases

knowledge base
first order logic
real world
face recognition
object categories
axiomatic characterization
data sets
data mining
decision making
image segmentation