On Forking and Definability of Types in some DP-Minimal Theories

We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst non-forking types.

[1]  Pierre Simon.  On dp-minimal ordered structures , 2011, J. Symb. Log..

[2]  Alfred Dolich.  Forking and independence in o-minimal theories , 2004, Journal of Symbolic Logic.

[3]  Pierre Simon.  Dp-Minimality: Invariant Types and DP-rank , 2014, J. Symb. Log..

[4]  Pierre Simon,et al.  A Guide to NIP Theories , 2012, 1208.3944.

[5]  Sergei Starchenko,et al.  Forking in VC-minimal theories , 2012, J. Symb. Log..

[6]  Itay Kaplan,et al.  Forking and Dividing in NTP2 theories , 2012, The Journal of Symbolic Logic.