Forking (model theory)

From Free net encyclopedia