English

Non-forking and preservation of NIP and dp-rank

Logic 2019-12-17 v2

Abstract

We investigate the question of whether the restriction of a NIP type pS(B)p\in S(B) which does not fork over ABA\subseteq B to AA is also NIP, and the analogous question for dp-rank. We show that if BB contains a Morley sequence II generated by pp over AA, then pAIp\restriction AI is NIP and similarly preserves the dp-rank. This yields positive answers for generically stable NIP types and the analogous case of stable types. With similar techniques we also provide a new more direct proof for the latter. Moreover, we introduce a general construction of "trees whose open cones are models of some theory" and in particular an inp-minimal theory DTR of dense trees with random graphs on open cones, which exemplifies a negative answer to the question.

Keywords

Cite

@article{arxiv.1909.04626,
  title  = {Non-forking and preservation of NIP and dp-rank},
  author = {Pedro Andrés Estevan and Itay Kaplan},
  journal= {arXiv preprint arXiv:1909.04626},
  year   = {2019}
}