DOI: http://dx.doi.org/10.18257/raccefyn.351

Artículo original

þ-Bifurcación y Propiedad de la Bifurcación Estable.

Clifton Ealy, Alf Onshuus

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.

Palabras clave


Conjetura de Bifurcación Estable, þ-Bifurcación.

Texto completo:

PDF (English)

Referencias


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.


Métricas de artículo

Cargando métricas ...

Metrics powered by PLOS ALM




Copyright (c) 2016 Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales