Abstract
Abstract
For a NIP theory T, a sufficiently saturated model
${\mathfrak C}$
of T, and an invariant (over some small subset of
${\mathfrak C}$
) global type p, we prove that there exists a finest relatively type-definable over a small set of parameters from
${\mathfrak C}$
equivalence relation on the set of realizations of p which has stable quotient. This is a counterpart for equivalence relations of the main result of [2] on the existence of maximal stable quotients of type-definable groups in NIP theories. Our proof adapts the ideas of the proof of this result, working with relatively type-definable subsets of the group of automorphisms of the monster model as defined in [3].
Publisher
Cambridge University Press (CUP)
Reference7 articles.
1. A note on stable sets, groups, and theories with NIP;Onshuus;Mathematical Logic Quarterly,2007
2. Simplicity in compact abstract theories;Ben-Yaacov;Journal of Mathematical Logic,2003
3. [3] Hrushovski, E. , Krupiński, K. , and Pillay, A. , On first order amenability, preprint, 2021, arXiv:2004.08306v2 [math.LO].
4. Boundedness and absoluteness of some dynamical invariants in model theory;Krupiński;Journal of Mathematical Logic,2019
5. Topological dynamics and the complexity of strong types;Krupiński;Israel Journal of Mathematics,2018
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献