An Omitting Types Theorem for positive bounded formulas in normed spaces.

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

Keyphrases

positive and negative
databases
information retrieval
computational complexity
vector space
database
artificial intelligence
distance measure