Abstract

EALY, Clifton  and  ONSHUUS, Alf. þ-Forking and Stable Forking. Rev. acad. colomb. cienc. exact. fis. nat. [online]. 2016, vol.40, n.157, pp.683-689. ISSN 0370-3908.  https://doi.org/10.18257/raccefyn.351.

We use the construction of an independence relation to prove that þ-forking is equivalent to forking of a stable formula (in the sense of st-forking, see Definition 1.3) in all theories, and to show that from þ-dividing one can always achieve strong dividing over a base which is in the definable closure of the parameter set.

Keywords : Stable Forking Conjecture; þ-Forking.

        · abstract in Spanish     · text in English     · English ( pdf )