FORKING IN SIMPLE UNSTABLE THEORIES

BYUNGHAN KIM

doi:10.1112/S0024610798005985

Abstract

In [9], Shelah introduced a class of first order theories, which he called simple, properly containing the class of stable theories. Here we prove for simple theories, (i) the equivalence of forking and dividing, (ii) the symmetry and transivity of forking.

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Casanovas, Enrique and Kim, Byunghan 1998. A Supersimple Nonlow Theory. Notre Dame Journal of Formal Logic, Vol. 39, Issue. 4,

Chatzidakis, Z. and Pillay, A. 1998. Generic structures and simple theories. Annals of Pure and Applied Logic, Vol. 95, Issue. 1-3, p. 71.

Ivanov, Alexandre A. and Macpherson, Dugald 1999. Strongly determined types. Annals of Pure and Applied Logic, Vol. 99, Issue. 1-3, p. 197.

Chatzidakis, Zoé and Hrushovski, Ehud 1999. Model theory of difference fields. Transactions of the American Mathematical Society, Vol. 351, Issue. 8, p. 2997.

Wagner, Frank 2000. Vol. 2, Issue. , p. 277.

CrossRef

Wagner, Frank O. 2000. Simple Theories. p. 15.

Buechler, Steven Pillay, Anand and Wagner, Frank 2000. Supersimple theories. Journal of the American Mathematical Society, Vol. 14, Issue. 1, p. 109.

Kim, Byunghan 2001. Simplicity, and stability in there. Journal of Symbolic Logic, Vol. 66, Issue. 2, p. 822.

Buss, Samuel R. Kechris, Alexander S. Pillay, Anand and Shore, Richard A. 2001. The Prospects for Mathematical Logic in the Twenty-First Century. Bulletin of Symbolic Logic, Vol. 7, Issue. 2, p. 169.

WAGNER, FRANK 2001. HYPERDEFINABLE GROUPS IN SIMPLE THEORIES. Journal of Mathematical Logic, Vol. 01, Issue. 01, p. 125.

Ben-Yaacov, Itay 2002. Group configurations and germs in simple theories. Journal of Symbolic Logic, Vol. 67, Issue. 4, p. 1581.

Buechler, Steven and Lessmann, Olivier 2002. Simple homogeneous models. Journal of the American Mathematical Society, Vol. 16, Issue. 1, p. 91.

Chatzidakis, Zoé 2002. Properties of forking in ω-free pseudo-algebraically closed fields. Journal of Symbolic Logic, Vol. 67, Issue. 3, p. 957.

Casanovas, Enrique 2003. Some remarks on indiscernible sequences. Mathematical Logic Quarterly, Vol. 49, Issue. 5, p. 475.

Vassiliev, Evgueni 2003. Generic pairs of SU-rank 1 structures. Annals of Pure and Applied Logic, Vol. 120, Issue. 1-3, p. 103.

BEN-YAACOV, ITAY 2003. SIMPLICITY IN COMPACT ABSTRACT THEORIES. Journal of Mathematical Logic, Vol. 03, Issue. 02, p. 163.

Ben-Yaacov, Itay 2003. Discouraging results for ultraimaginary independence theory. Journal of Symbolic Logic, Vol. 68, Issue. 3, p. 846.

Ben-Yaacov, Itay Pillay, Anand and Vassiliev, Evgueni 2003. Lovely pairs of models. Annals of Pure and Applied Logic, Vol. 122, Issue. 1-3, p. 235.

Shami, Ziv 2004. Coordinatisation by binding groups and unidimensionality in simple theories. Journal of Symbolic Logic, Vol. 69, Issue. 4, p. 1221.

Ben-Yaacov, Itay 2004. Lovely pairs of models: the non first order case. Journal of Symbolic Logic, Vol. 69, Issue. 3, p. 641.

Download full list

Article contents

FORKING IN SIMPLE UNSTABLE THEORIES

Abstract

Access options

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Article contents

FORKING IN SIMPLE UNSTABLE THEORIES

Abstract

Access options

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests