Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Citado por Google
- Similares em SciELO
- Similares em Google
Compartilhar
Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales
versão impressa ISSN 0370-3908
Resumo
EALY, Clifton e 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.
Palavras-chave : Stable Forking Conjecture; þ-Forking.