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].
Citation
Sarah Cotter. Sergei Starchenko. "Forking in VC-minimal theories." J. Symbolic Logic 77 (4) 1257 - 1271, December 2012. https://doi.org/10.2178/jsl.7704110
Information
