Please use this identifier to cite or link to this item:
https://repositorio.accefyn.org.co/handle/001/963
Cómo citar
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ealy, Clifton | - |
dc.contributor.author | Onshuus, Alf | - |
dc.date.accessioned | 2021-11-15T14:48:50Z | - |
dc.date.available | 2021-11-15T14:48:50Z | - |
dc.date.issued | 2016-12-26 | - |
dc.identifier.uri | https://repositorio.accefyn.org.co/handle/001/963 | - |
dc.description.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. | spa |
dc.description.abstract | 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. | spa |
dc.format.mimetype | application/pdf | spa |
dc.language.iso | spa | spa |
dc.publisher | Academia Colombiana de Ciencias Exactas, Físicas y Naturales | spa |
dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International | spa |
dc.rights.uri | https://creativecommons.org/licenses/by-nc/4.0/ | spa |
dc.source | Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales | spa |
dc.title | þ-Forking and Stable Forking | spa |
dc.type | Artículo de revista | spa |
dcterms.audience | Estudiantes, Profesores, Comunidad científica colombiana | spa |
dcterms.references | Adler, H. (2009). A geometric introduction to forking andthorn-forking.J. Math. Log., 9(1):1–20 | spa |
dcterms.references | Ealy, C. (2004).Thorn Forking in Simple Theories and aManin-Mumford Theorem for T-Modules. Thesis (Ph.D.)–University of California, Berkeley | spa |
dcterms.references | Kim, B. (2001). Simplicity, and stability in there.J. Sym-bolic Logic, 66(2):822–836 | spa |
dcterms.references | Kim, B. and Pillay, A. (1997). Simple theories.Ann. PureAppl. Logic, 88(2-3):149–164. Joint AILA-KGS ModelTheory Meeting (Florence, 1995) | spa |
dcterms.references | Kim, B. and Pillay, A. (2001). Around stable forking.Fund.Math., 170(1-2):107–118. Dedicated to the memory ofJerzy Ło ́s.Kim, B. and Pillay, A. (2001). Around stable forking.Fund.Math., 170(1-2):107–118. Dedicated to the memory ofJerzy Ło ́s. | spa |
dcterms.references | Morley, M. (1965). Categoricity in power.Trans. Amer.Math. Soc., 114:514–538 | spa |
dcterms.references | Onshuus, A. (2002).Thorn-forking in rosy theories. Pro-Quest LLC, Ann Arbor, MI. Thesis (Ph.D.)–Universityof California, Berkeley | spa |
dcterms.references | Onshuus, A. (2006). Properties and consequences ofthorn-independence.J. Symbolic Logic, 71(1):1–21 | spa |
dcterms.references | Palacín, D. and Wagner, F. O. (2013). Elimination of hy-perimaginaries and stable independence in simple CM-trivial theories.Notre Dame J. Form. Log., 54(3-4):541–551 | spa |
dcterms.references | Shelah, S. (1990).Classification theory and the number of non-isomorphic models, volume 92 ofStudies in Logic and theFoundations of Mathematics. North-Holland PublishingCo., Amsterdam, second edition | spa |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
dc.type.driver | info:eu-repo/semantics/article | spa |
dc.type.version | info:eu-repo/semantics/publishedVersion | spa |
dc.rights.creativecommons | Atribución-NoComercial 4.0 Internacional (CC BY-NC 4.0) | spa |
dc.identifier.doi | https://doi.org/10.18257/raccefyn.351 | - |
dc.subject.proposal | Conjetura de Bifurcación Estable | spa |
dc.subject.proposal | Stable Forking Conjecture | eng |
dc.subject.proposal | þ-Bifurcación | spa |
dc.subject.proposal | þ-Forking | eng |
dc.type.coar | http://purl.org/coar/resource_type/c_6501 | spa |
dc.relation.ispartofjournal | Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales | spa |
dc.relation.citationvolume | 40 | spa |
dc.relation.citationstartpage | 683 | spa |
dc.relation.citationendpage | 689 | spa |
dc.publisher.place | Bogotá, Colombia | spa |
dc.contributor.corporatename | Academia Colombiana de Ciencias Exactas, Físicas y Naturales | spa |
dc.relation.citationissue | 157 | spa |
dc.type.content | DataPaper | spa |
dc.type.redcol | http://purl.org/redcol/resource_type/ARTREF | spa |
oaire.accessrights | http://purl.org/coar/access_right/c_abf2 | spa |
oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | spa |
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