Cómo citar
Descargas
Métricas Alternativas
Dimensions
Resumen
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. © 2016. Acad. Colomb. Cienc. Ex. Fis. Nat. Todos los derechos reservados.Citas
Adler, H. (2009). A geometric introduction to forking and thorn-forking. J. Math. Log., 9(1):1–20.
Ealy, C. (2004). Thorn Forking in Simple Theories and a Manin-Mumford Theorem for T-Modules. Thesis (Ph.D.)–University of California, Berkeley.
Kim, B. (2001). Simplicity, and stability in there. J. Symbolic Logic, 66(2):822–836.
Kim, B. and Pillay, A. (1997). Simple theories. Ann. Pure Appl. Logic, 88(2-3):149–164. Joint AILA-KGS Model Theory Meeting (Florence, 1995).
Kim, B. and Pillay, A. (2001). Around stable forking. Fund. Math., 170(1-2):107–118. Dedicated to the memory of Jerzy Ło´s.
Morley, M. (1965). Categoricity in power. Trans. Amer. Math. Soc., 114:514–538.
Onshuus, A. (2002). Thorn-forking in rosy theories. Pro Quest LLC, Ann Arbor, MI. Thesis (Ph.D.)–University of California, Berkeley.
Onshuus, A. (2006). Properties and consequences of thorn-independence. J. Symbolic Logic, 71(1):1–21.
Palacín, D. and Wagner, F. O. (2013). Elimination of hyperimaginaries and stable independence in simple CMtrivial theories. Notre Dame J. Form. Log.,54(3-4):541–551.
Shelah, S. (1990). Classification theory and the number of nonisomorphic models, volume 92 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, second edition.
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.
Derechos de autor 2016 Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales