Forcing Framework with Language Fragments and Models of Theories

Developing a forcing framework using language fragments for model theories.