Forking extension

In model theory, a forking extension of a type is an extension of that type that is not free whereas a non-forking extension is an extension that is as free as possible. This can be used to extend the notions of linear or algebraic independence to stable theories. These concepts were introduced by S. Shelah.

Forking extension

In model theory, a forking extension of a type is an extension of that type that is not free whereas a non-forking extension is an extension that is as free as possible. This can be used to extend the notions of linear or algebraic independence to stable theories. These concepts were introduced by S. Shelah.