Recursive teaching dimension, VC-dimension and sample compression
A theory of the learnable