DEFINABLE -THEOREM FOR FAMILIES WITH VC-CODENSITY LESS THAN
DEFINABLE -THEOREM FOR FAMILIES WITH VC-CODENSITY LESS THAN
复制标题
VC 密度小于的族的可定义定理
DOI：
10.1017/jsl.2023.46
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
ANDÚJAR GUERRERO P
中科院分区：
文献类型：
--
作者：
ANDÚJAR GUERRERO P
设是VC-余密度小于的非空集族。本文证明了，如果具有-性质（对中的任意无穷多个集合，至少有两个集合相交），则可划分成100多个子族，每个子族都具有有限交性质。如果在某些一阶结构中是可定义的，那么这些子族也可以被选择为可定义的。
Letbe a family of nonempty sets with VC-codensity less than. We prove that, ifhas the-property (for any infinitely many sets in, at least two among them intersect), thencan be partitioned into finitely many subfamilies, each with the finite intersection property. Ifis definable in some first-order structure, then these subfamilies can be chosen definable too.