Please use this identifier to cite or link to this item:
https://repositorio.accefyn.org.co/handle/001/963
Cómo citar
Title: | þ-Forking and Stable Forking |
Authors: | Ealy, Clifton Onshuus, Alf Academia Colombiana de Ciencias Exactas, Físicas y Naturales |
Issue Date: | 26-Dec-2016 |
Publisher: | Academia Colombiana de Ciencias Exactas, Físicas y Naturales |
Abstract: | Usamos una contrucción particular de una relación de independencia para demostrar que en cualquier teoría þ-bifurcación es equivalente a bifurcación con una fórmula estable (en el sentido específico de st-bifurcación dada en la Definición 1.3). También demostramos que si tenemos þ-división podemos lograr división fuerte sobre una base que pertenece a la clausura algebraica del conjunto parámetro. 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. |
URI: | https://repositorio.accefyn.org.co/handle/001/963 |
DOI: | https://doi.org/10.18257/raccefyn.351 |
Source: | Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales |
Appears in Collections: | BA. Revista de la Academia Colombiana de Ciencias Exactas Físicas y Naturales |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
16. þ-Forking and Stable Forking.pdf | Matmáticas | 214.03 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License