scientific article; zbMATH DE number 1065060

MaRDI QIDQ4356367zbMATH OpenFDO

Authors Byunghan Kim

Publication date 11 December 1997

zbMATH Keywords

forkingnonforkingsimple theoriessurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Basic properties of first-order languages and structures (03C07)

Review text

The author intends this paper to be a guide for those readers who desire a speedy introduction to the class of simple theories. The paper summarizes the main results of work to appear elsewhere. In particular the following theorem of the author is the focus of attention. If \(T\) is simple, then the following hold: (i) let \(p\) be a type and let \(A\) be a set; then \(p\) divides over \(A\) if and only if \(p\) forks over \(A\) and (ii) nonforking satisfies symmetry and transitivity. The author describes a proof that requires no prerequisites except compactness and Ramsey's theorem. For the entire collection see [Zbl 0867.00021].

Recommendations

• Forking in Simple Unstable Theories
• A primer of simple theories
• Simple theories

Cited in

(6)

• A primer of simple theories
• Dividing and chain conditions
• scientific article; zbMATH DE number 1522509 (Why is no real title available?)
• Supersimple theories
• Forking in Simple Unstable Theories
• A separation theorem for simple theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4356367)