Definable groups for dependent and 2-dependent theories
逻辑
2021-09-15 v5
摘要
Let be a (first order complete) dependent theory, a -saturated model of and a definable subgroup which is abelian. Among subgroups of bounded index which are the union of type definable subsets there is a minimal one, i.e. their intersection has bounded index. In fact, the bound is . 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