A note on uniform definability of types over finite sets in partial orders of finite width

Timo Krisam, Ori Segel

In "VC density in some theories without the independence property" the authors asked whether any partial order of finite width has the VC1 property (i.e. every formula in one varia…