The stable forking conjecture and generic structures

DOI10.1007/S00153-002-0147-XMaRDI QIDQ1407602zbMATH OpenOpenAlexWikidataFDO

Authors M. Pourmahdian

Publication date 16 September 2003

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-002-0147-x

zbMATH Keywords

Fräissé-Hrushovski methodgeneric structurespredimensionsimple theoriesstable forking conjecturestable theories

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Review text

This paper fits into the general context of extending stability theory to the broader context of simple theories. A theory is said to have the stable forking property if whenever a type \(p\in S(M)\) forks over \(A\subset M\), then this is witnessed by a stable formula. All known simple theories have this property, and the Stable Forking Conjecture says that this should be true for all simple theories. The generic structure method of Hrushovski has been used to refute some important conjectures about stable theories and this construction has been extended to simple theories. In this context, there is a natural, real-valued dimension (\(d\)-dimension). In this paper the author proves that for any simple theory which is constructed by the Fräissé-Hrushovski method, if forking independence is the same as \(d\)-independence, then the stable forking property holds for this theory. \textit{D. Evans} [Ann. Pue Appl. Logic 116, 157-186 (2002; Zbl 1002.03022)] has proved related results independently.

Recommendations

• The Stable Forking Conjecture in Homogeneous Model Theory
• A note on the non‐forking‐instances topology
• Generic stability, forking, and thorn-forking
• Forking types and rank functions in stable theories
• A Finite Axiomatization for Fork Algebras
• scientific article; zbMATH DE number 859785
• Fork-decompositions of matroids
• A note on the stable equivalence conjecture
• Forking in the category of existentially closed structures
• Congruences of fork extensions of slim, planar, semimodular lattices

Cited in

(8)

• Forking, normalization and canonical bases
• Stable theories without dense forking chains
• Stable theories of Frechet powers
• Around stable forking
• An application of nonstandard arguments to the study of generic structures
• The Stable Forking Conjecture in Homogeneous Model Theory
• Generic stability, forking, and thorn-forking
• A note on the non‐forking‐instances topology

This page was built for publication: The stable forking conjecture and generic structures

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