Services on Demand
Journal
Article
Indicators
Cited by SciELO
Access statistics
Related links
Cited by Google
Similars in SciELO
Similars in Google
Share
Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales
Print version ISSN 0370-3908
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.