有限 VC-维数的初等类
逻辑
2015-08-21 v2
摘要
设 U 为怪物模型，D 为 U 的子集。令 (U,D) 表示 U 添加关于 D 的新谓词后的扩张。记 e(D) 为 U 的所有满足 (U,C) 与 (U,D) 初等等价的子集 C 的集合。我们证明，若 e(D) 具有有限 VC-维数，则 D 是外部可定义的（即它是 U 的一个初等超结构中可定义集合在 U 上的迹）。
引用
@article{arxiv.1412.5781,
title = {Elementary classes of finite VC-dimension},
author = {Domenico Zambella},
journal= {arXiv preprint arXiv:1412.5781},
year = {2015}
}
备注
Small corrections