Strict order property;
NIP;
Mutual indiscernibility;
Sub-additivity;
D O I:
10.1016/j.apal.2020.102886
中图分类号:
O29 [应用数学];
学科分类号:
070104 ;
摘要:
We investigate the model-theoretic invariant kappa(m)(srd)(T), which was introduced by Shelah, and prove that kappa(m)(srd)(T) is sub-additive. An infinite value of kappa(m)(srd)(T) leads to the equality kappa(m)(srd)(T) = kappa(1)(srd)(T). We apply the same proof method to analyze the other invariant kappa(m)(ird)(T) and show that it is also sub-additive, achieving an improvement of Shelah's result. (C) 2020 Elsevier B.V. All rights reserved.