þ-Forking and Stable Forking

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 clo...

Full description

Saved in:
Bibliographic Details
Published inRevista de la Academia colombiana de ciencias exactas, físicas y naturales Vol. 40; no. 157; pp. 683 - 689
Main Authors Ealy, Clifton, Onshuus, Alf
Format Journal Article
LanguagePortuguese
Published Academia Colombiana de Ciencias Exactas, Físicas y Naturales 01.12.2016
Subjects
PHYSICS, MULTIDISCIPLINARY
þ-Forking
Stable Forking Conjecture
Conjetura de Bifurcación Estable
þ-Bifurcación
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:0370-3908
DOI:10.18257/raccefyn.351