English

On the number of independent orders

Logic 2020-04-07 v1

Abstract

We investigate a model theoretic invariant κsrdm(T)\kappa_{srd}^m(T), which was introduced by Shelah in his famous book, and prove that κsrdm(T)\kappa_{srd}^m(T) is sub-additive. When κsrdm(T)\kappa_{srd}^m(T) is infinite, this gives the equality κsrdm(T)=κsrd1(T)\kappa^m_{srd}(T)=\kappa^1_{srd}(T), answering a question by Shelah. We apply the same proof method to analyze another invariant κirdm(T)\kappa^m_{ird}(T), and show that it is also sub-additive, improving a result in the book.

Keywords

Cite

@article{arxiv.2004.02125,
  title  = {On the number of independent orders},
  author = {Kota Takeuchi and Akito Tsuboi},
  journal= {arXiv preprint arXiv:2004.02125},
  year   = {2020}
}