Forking in VC-minimal theories
Sarah Cotter, Sergei Starchenko · Journal of Symbolic Logic · 2012
Abstract We consider VC-minimal theories admitting unpackable generating families, and show that in such theories, forking of formulae over a model M is equivalent to containment in global types definable over M, generalizing a result of Dolich on o-minimal theories in [4].