EALY, Clifton    ONSHUUS, Alf. þ-Forking and Stable Forking. []. , 40, 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.

: Stable Forking Conjecture; þ-Forking.

        · |     · |     · ( pdf )