© 1992 by London Mathematical Society
Vapnik-Chervonenkis Classes of Definable Sets
Mathematical Sciences Research Institute 1000 Centennial Drive Berkeley California 94720 USA
We show that a class of subsets of a structure uniformly definable by a first-order formula is a Vapnik-Chervonenkis class if and only if the formula does not have the independence property. Via this connection we obtain several new examples of Vapnik-Chervonenkis classes, including sets of positivity of finitely subanalytic functions.
Department of Mathematics University of Maryland College Park Maryland 20742 USA