中文

Definable groups for dependent and 2-dependent theories

逻辑 2021-09-15 v5

摘要

Let TT be a (first order complete) dependent theory, C{\mathfrak{C}} a κˉ\bar\kappa-saturated model of TT and GG a definable subgroup which is abelian. Among subgroups of bounded index which are the union of <κˉ<\bar\kappa type definable subsets there is a minimal one, i.e. their intersection has bounded index. In fact, the bound is 2T\leq 2^{|T|}. We then deal with 2-dependent theories, a wider class of first order theories.

关键词

引用

@article{arxiv.math/0703045,
  title  = {Definable groups for dependent and 2-dependent theories},
  author = {Saharon Shelah},
  journal= {arXiv preprint arXiv:math/0703045},
  year   = {2021}
}

备注

Version of 2017