An introduction to forking
From MaRDI portal
Publication:3858245
DOI10.2307/2273127zbMath0424.03013OpenAlexW2117110248MaRDI QIDQ3858245
Publication date: 1979
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273127
Related Items (44)
Model theory of modules ⋮ Decidable models of small theories ⋮ Superstable groups ⋮ Infinitary stability theory ⋮ Forking, normalization and canonical bases ⋮ Superstable groups of finite rank without pseudoplanes ⋮ Countable Models of Stable Theories ⋮ Building independence relations in abstract elementary classes ⋮ Weakly Definable Types ⋮ Lascar rank and the finite cover property for complete theories of unars ⋮ Measures and forking ⋮ The notion of independence in categories of algebraic structures. I: Basic properties ⋮ Modules and Stability Theory ⋮ On Decidable and Computable Models of Theories ⋮ The Theory of Ordered Abelian Groups does not have the Independence Property ⋮ Definable structures in o-minimal theories: one dimensional types ⋮ Independence and freedom ⋮ Stable domination and weight ⋮ Non-totally transcendental unidimensional theories ⋮ Weakly Homogeneous Models ⋮ A note on tight stable theorie ⋮ Generic stability, forking, and þ-forking ⋮ Coordinatization in Superstable Theories. I. Stationary Types ⋮ From Stability to Simplicity ⋮ Loeb extensions and ultrapowers of measures on fragments ⋮ Unstable structures definable in o-minimal theories ⋮ Minimal stable types in Banach spaces ⋮ Locally modular theories of finite rank ⋮ Independence and simplicity in Jonsson theories with abstract geometry ⋮ Independence in Model Theory ⋮ Totally transcendental theories of modules: Decomposition of models and types ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories ⋮ Coordinatization in Superstable Theories. II ⋮ The number of uncountable models of \(\omega\)-stable theories ⋮ Rings of finite representation type and modules of finite Morley rank ⋮ Strongly determined types ⋮ Forking types and rank functions in stable theories ⋮ Ultrafilters and types on models of arithmetic ⋮ \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures ⋮ A survey of basic stability theory, with particular emphasis on orthogonality and regular types ⋮ Classification of superstable theories by rank functions ⋮ First-order theories of abstract dependence relations ⋮ Fundamentals of forking
Cites Work
This page was built for publication: An introduction to forking
