关于有限宽度部分序中类型在有限集合上的统一可定义性的注记
逻辑
2024-06-27 v1
摘要
在《VC密度在无独立性质的理论中》中，作者们询问了是否存在任意有限宽度的部分序具有VC1性质（即每个一变量公式在一个参数中都具有统一可定义有限集合）。我们给出否定答案并作了一些相关的说明。
引用
@article{arxiv.2406.18288,
title = {A note on uniform definability of types over finite sets in partial orders of finite width},
author = {Timo Krisam and Ori Segel},
journal= {arXiv preprint arXiv:2406.18288},
year = {2024}
}