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 variable has UDTFS in one parameter). We give a negative answer and some related remarks.
No takes yet. Share an insight, caveat, or question.
Krisam et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: