Undecidability of some elementary theories over pac fields.

Gregory L. Cherlin Moshe Jarden

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

Keyphrases

description logics
knowledge base
sample complexity
lower bound
upper bound
vc dimension
data sets
computer vision
answering queries
formal models
school children