Forking types and rank functions in stable theories
type: Item
instance of: scholarly article
title: Forking types and rank functions in stable theories
zbMATH Open document ID: 0544.03012
DOI: 10.1007/BF01980755
author: T. G. Mustafin
author: T. A. Nurmagambetov
published in: Algebra and Logic
publication date: 1983-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/187176
review text: The authors use a concept of generalized rank functions to prove theorems on non-forking types. In this context a type is not necessarily complete. A mapping R from the set of types of a given big model of a stable theory T into a linearly ordered set W with a greatest element \(\infty\) is a rank function if R commutes with isomorphism of submodels and if \(p\subseteq q\) implies R(p)\(\geq R(q)\). R is totally normal if i) for every set A and every type p over A there is a complete type q over A with \(p\subseteq q\) and \(R(p)=R(q)\), ii) there is a \(\kappa\) s.t. for every set A and every type p over A \(| \{q| \quad q\) complete and \(R(p)=R(q)\}|<\kappa\), and iii) there exists a cardinal \(\mu\) s.t. for any set A and any p over A there is a set \(B\subseteq A\) s.t. \(| B| \subseteq \mu\) and \(R(p)=R(p\upharpoonright B)\). The main theorem states: If R is a totally normal rank function, \(A\subseteq B\) sets, p a complete type over B and \(R(p)<\infty\) then p does not fork over A iff \(R(p)=R(p\upharpoonright A)\). Hence for every totally normal rank function R with \(R(p)<\infty\), \(| \{q| \quad q\) complete extension over B, \(R(q)=R(p)\}|\) is independent from R. The main theorem has some nice consequences and it gives some short proofs of known theorems on non-forking types.
Mathematics Subject Classification ID: 03C45
zbMATH DE Number: 3865253
zbMATH Keywords: generalized rank functions
zbMATH Keywords: non-forking types
zbMATH Keywords: stable theory
MaRDI profile type: Publication
cites work: Classification theory and the number of non-isomorphic models
cites work: An introduction to forking
cites work: Categoricity in Power
cites work: Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
cites work: Principles for normalization of formulas
cites work: Two conjectures regarding the stability of ω-categorical theories
cites work: Q3874185
cites work: Ranks and definability in superstable theories
description: scientific article; zbMATH DE number 3865253