Simple theories
type: Item
instance of: scholarly article
title: Simple theories
zbMATH Open document ID: 0897.03036
DOI: 10.1016/S0168-0072(97)00019-5
author: Byunghan Kim
author: Anand Pillay
published in: Annals of Pure and Applied Logic
publication date: 1998-10-19T00:00:00Z
review text: The authors study simple theories in the sense of \textit{S. Shelah} [Ann. Math. Logic 19, 177-203 (1980; Zbl 0489.03008)]. The Independence Theorem over a model \(M\) is the following: For \(A\supset M\), \(B\supset M\), \(A\) independent from \(B\) over \(M\), \(p\in S(M)\), and \(p_1\in S(A)\), \(p_2\in S(B)\) both nonforking extensions of \(p\) [in the sense of \textit{S. Shelah}, Classification theory and the number of non-isomorphic models. 2nd rev. ed. (1990; Zbl 0713.03013)], then there is \(q\in S(A\cup B)\) which extends both \(p_1\) and \(p_2\) and is also a nonforking extension of \(p\). The authors prove the Independence Theorem for the models of simple theories. Moreover, they prove the following: Theorem. Let \(T\) be an arbitrary theory. Then \(T\) is simple iff \(T\) has a notion of independence \(\Gamma\) which satisfies the Independence Theorem over a model. Moreover, for such a \(\Gamma\) holds: for all \(a\), \(B\), \(A\), \((a,B,A)\in\Gamma\) iff \(tp(a/B)\) does not fork over \(A\). The Independence Theorem is also proved for Lascar strong types. Various notions of rank and their interconnections are considered.
Mathematics Subject Classification ID: 03C45
Mathematics Subject Classification ID: 03C50
zbMATH DE Number: 1109922
zbMATH Keywords: simple theories
zbMATH Keywords: Independence Theorem
zbMATH Keywords: nonforking extensions
zbMATH Keywords: Lascar strong types
zbMATH Keywords: rank
MaRDI profile type: Publication
cites work: Q3994342
cites work: Q3988353
cites work: Q4807555
cites work: Fundamentals of forking
cites work: Groups definable in local fields and pseudo-finite fields
cites work: Q4698853
cites work: ℵ0 -Categorical Structures Smoothly Approximated by Finite Substructures
cites work: Forking in Simple Unstable Theories
cites work: On the category of models of a complete theory
cites work: Classification theory and the number of non-isomorphic models.
cites work: Simple unstable theories
full work available at URL: s0168-0072(97)00019-5
OpenAlex ID: W4212846603
Recommended article: Q4950412
Recommended article: A primer of simple theories
Recommended article: Very simple theories without forking
Recommended article: \(n\)-simple theories
Recommended article: Simplicity theory
Recommended article: Simple interpretations among complicated theories
Recommended article: Q3170580
Recommended article: An example of a new simple theory
Recommended article: Random amalgamation of simple theories
Recommended article: Supersimple theories
description: scientific article; zbMATH DE number 1109922