Fundamentals of forking

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

Victor Harnik

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 (26)

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

This page was built for publication: Fundamentals of forking