Fundamentals of forking

DOI10.1016/0168-0072(84)90005-8zbMath0591.03016OpenAlexW2046388583MaRDI QIDQ1074574

Victor Harnik, Leo Harrington

Publication date: 1984

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(84)90005-8

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classification theory, stability, and related concepts in model theory (03C45)

Related Items

Superstable groups, Canonical forking in AECs, A remark on strict independence relations, Forking, normalization and canonical bases, Theories with equational forking, Measures and forking, A remark on locally pure measures, Simple theories, Stable theories, pseudoplanes and the number of countable models, Stability theory and set existence axioms, Zariski geometries, Forking in locally free algebras, A note on forking and normalization, Algebras of binary formulas for compositions of theories, A definable continuous rank for nonmultidimensional superstable theories, A note on equational theories, Forking independence from the categorical point of view, THE INDISCERNIBLE TOPOLOGY: A MOCK ZARISKI TOPOLOGY, Type reduction and powerful types, Schlanke Körper (Slim fields), Coordinatization in Superstable Theories. I. Stationary Types, Stability theory for topological logic, with applications to topological modules, VARIATIONS SUR UN THÈME DE ALDAMA ET SHELAH, Independence in Model Theory, Totally transcendental theories of modules: Decomposition of models and types, A survey of basic stability theory, with particular emphasis on orthogonality and regular types

Cites Work

• Unnamed Item
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• Ranks and definability in superstable theories
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Classification theory and the number of non-isomorphic models
• Stable theories
• An introduction to forking
• Encoding orders and trees in binary relations
• Théories instables
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Two conjectures regarding the stability of ω-categorical theories
• Categoricity in Power
• Finite diagrams stable in power