Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Citado por Google
- Similares en SciELO
- Similares en Google
Compartir
Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales
versión impresa ISSN 0370-3908
Resumen
EALY, Clifton y 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.
Palabras clave : Stable Forking Conjecture; þ-Forking.