Forking extension

In

Definitions

Suppose that A and B are models of some complete ω-stable theory T. If p is a type of A and q is a type of B containing p, then q is called a forking extension of p if its Morley rank is smaller, and a nonforking extension if it has the same Morley rank.

Axioms

Let T be a stable complete theory. The non-forking relation ≤ for types over T is the unique relation that satisfies the following axioms:

1. If p≤ q then p⊂q. If f is an elementary map then p≤q if and only if fp≤fq
2. If p⊂q⊂r then p≤r if and only if p≤q and q≤ r
3. If p is a type of A and A⊂B then there is some type q of B with p≤q.
4. There is a cardinal κ such that if p is a type of A then there is a subset A₀ of A of cardinality less than κ so that (p|A₀) ≤ p, where | stands for restriction.
5. For any p there is a cardinal λ such that there are at most λ non-contradictory types q with p≤q.

References

• Harnik, Victor; Harrington, Leo (1984), "Fundamentals of forking", Ann. Pure Appl. Logic, 26 (3): 245–286,
  MR 0747686
• Lascar, Daniel; Poizat, Bruno (1979), "An Introduction to Forking", The Journal of Symbolic Logic, 44 (3), Association for Symbolic Logic: 330–350,
  JSTOR 2273127
• Makkai, M. (1984), "A survey of basic stability theory, with particular emphasis on orthogonality and regular types",
  S2CID 121533246
• Marker, David (2002), Model Theory: An Introduction,
  ISBN 978-0-387-98760-6
• Ng, Siu-Ah (2001) [1994], "Forking", Encyclopedia of Mathematics, EMS Press
• ISBN 978-0-444-70260-9