In model theory, a forking extension of a type is an that is in some sense not, and a non-forking extension is an extension that is as free as possible.
A forking extension of a type is an. This is in model theory. This is in some sense. A non-forking extension is an extension. This is in model theory. This extension is as free as possible.