强依赖理论
逻辑
2009-02-15 v4
摘要
我们继续 math.LO/0406440 的工作，进一步研究强依赖（首阶完备）理论 T 的模型类。若 |A|+|T|<= mu，I subseteq C，|I| >= beth_{|T|^+}(mu)，则存在 J subseteq I，其基数为 mu^+，且 J 是 A 上的不可辨序列。
引用
@article{arxiv.math/0504197,
title = {Strongly dependent theories},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0504197},
year = {2009}
}