Fundamentals of forking
type: Item
instance of: scholarly article
title: Fundamentals of forking
zbMATH Open document ID: 0591.03016
DOI: 10.1016/0168-0072(84)90005-8
author: Victor Harnik
author: Leo Harrington
published in: Annals of Pure and Applied Logic
publication date: 1984-01-01T00:00:00Z
review text: The paper gives a self-contained exposition of the fundamental facts of Shelah's stability theory concerning the notion of forking. The emphasis is on giving as short and direct proofs as possible of the basic properties and equivalences between the various definitions of forking. The framework of the study is broad enough to incorporate the benefits of Shelah's \(T^{eq}\). The approach allows to prove a generalization of Lachlan's normalization theorem. Everywhere the authors point out a minimum of stability assumptions needed for a smooth theory of forking. The paper is intended to serve as an introduction for readers familiar with general model theory who wish to study the literature on stability theory.
Mathematics Subject Classification ID: 03C45
Mathematics Subject Classification ID: 03-01
zbMATH DE Number: 3948236
reviewed by: Oleg Belegradek
MaRDI profile type: Publication
full work available at URL: 0168-0072(84)90005-8
OpenAlex ID: W2046388583
cites work: \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
cites work: Two conjectures regarding the stability of ω-categorical theories
cites work: Q3813800
cites work: Ranks and definability in superstable theories
cites work: An introduction to forking
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: Categoricity in Power
cites work: Théories instables
cites work: Stable theories
cites work: Finite diagrams stable in power
cites work: Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
cites work: Classification theory and the number of non-isomorphic models
cites work: Encoding orders and trees in binary relations
Recommended article: A Generalization of Forking
Recommended article: Q4461800
Recommended article: Around stable forking
Recommended article: Q4764628
Recommended article: The fork calculus
Recommended article: A note on forking and normalization
Recommended article: Stable forking and imaginaries
Recommended article: Q3313848
Recommended article: Canonical forking in AECs
Recommended article: Q3996376
description: scientific article; zbMATH DE number 3948236