An introduction to forking

DOI10.2307/2273127MaRDI QIDQ3858245zbMATH OpenOpenAlexFDO

Authors Bruno Poizat, D. Lascar

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

zbMATH Keywords

forking

Mathematics Subject Classification ID

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

Cites work

• Every two elementarily equivalent models have isomorphic ultrapowers
• Ranks and definability in superstable theories

Cited in

(47)

• The number of uncountable models of -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
• Model theory of modules
• Superstable groups
• Forking, normalization and canonical bases
• Superstable groups of finite rank without pseudoplanes
• Measures and forking
• The notion of independence in categories of algebraic structures. I: Basic properties
• Loeb extensions and ultrapowers of measures on fragments
• Strongly determined types
• Lascar rank and the finite cover property for complete theories of unars
• Independence and freedom
• Totally transcendental theories of modules: Decomposition of models and types
• Independence and simplicity in Jonsson theories with abstract geometry
• Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
• Minimal stable types in Banach spaces
• A.D. Taimanov and model theory in Kazakhstan
• Decidable models of small theories
• Infinitary stability theory
• Weakly Definable Types
• Building independence relations in abstract elementary classes
• A note on tight stable theorie
• Countable Models of Stable Theories
• Coordinatization in Superstable Theories. I. Stationary Types
• Coordinatization in Superstable Theories. II
• Weakly Homogeneous Models
• From Stability to Simplicity
• Modules and Stability Theory
• The Theory of Ordered Abelian Groups does not have the Independence Property
• Generic stability, forking, and thorn-forking
• Independence in model theory
• On decidable and computable models of theories
• Locally modular theories of finite rank
• Definable structures in o-minimal theories: one dimensional types
• Stable domination and weight
• Classification properties for some ternary structures
• Model-theoretic properties of J-non-multidimensional theories
• On triggers of order
• Rings of finite representation type and modules of finite Morley rank
• Forking types and rank functions in stable theories
• Non-totally transcendental unidimensional theories
• Unstable structures definable in o-minimal theories

This page was built for publication: An introduction to forking

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