通过广义不可辨序列的坍缩刻画模型论分界
逻辑
2015-11-24 v1
摘要
我们利用广义不可辨序列的坍缩概念来对各类模型论分界进行分类。特别地，我们使用 n-多序不可辨的坍缩来刻画 op-维数 n；使用函数空间不可辨（即参数化等价关系）的坍缩来刻画 rosy 理论；最后，使用凸等价关系不可辨来刻画 NTP2 理论。
引用
@article{arxiv.1511.07245,
title = {Characterizing Model-Theoretic Dividing Lines via Collapse of Generalized Indiscernibles},
author = {Vincent Guingona and Cameron Donnay Hill and Lynn Scow},
journal= {arXiv preprint arXiv:1511.07245},
year = {2015}
}
备注
18 pages