Dividing, Forking, and Simplicity
Byunghan Kim · Oxford University Press eBooks · 2013
Primary notions such as dividing, forking, simplicity, and the tree property are introduced. The fundamental theorem of forking is proved, and several rank notions are presented. The non-finiteness (except 1) of the number of a countable supersimple theory is shown, and the examples of simple theories are given.