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

2024/06/26 by Krisam, Timo, Segel, Ori
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2406.18288

Abstract

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.

Related

• On uniform definability of types over finite sets
• Definability of types over finite partial order indiscernibles
• On uniform definability of types over finite sets for NIP formulas
• Limits of Order Types
• Externally definable sets and dependent pairs II