Forking

Abstract

In the preceding chapters we defined heirs, special sons, coheirs, Morley sequences, etc. for a type p defined over a model of the theory T. It is essential for the existence of these notions that we start with a set of parameters M that is a model of T: We continually used the fact that if A is any set of parameters containing M, then every finite situation exhibited by the elements of A can be copied inside M.

Deinde ibidem homo acutus, cum illud occurreret, si ominia deorsum e regione ferrentur et,ut dixi, ad lineam, nunquam fore ut atomus altera alteram posset attingere, itaque attulit rem commenticiam: declinare dixit atomum per paulum quo nihil posset fieri minus; ita effici...

M.T.C.