Forking lemma

The Forking Lemma is a concept from model theory, a branch of mathematical logic. It particularly deals with the study of types in the context of a theory in a particular structure. The lemma essentially describes how certain types can be extended or how they behave when considering numerous models. In more specific terms, the Forking Lemma is often discussed in the context of stable theories.