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
Appears in Collections:BA. Revista de la Academia Colombiana de Ciencias Exactas Físicas y Naturales

Files in This Item:
File Description SizeFormat 
16. þ-Forking and Stable Forking.pdfMatmáticas214.03 kBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons