Z Chatzidakis - Algebraic model theory, 1997 - Springer
… Since the minimal (monic) polynomial of cover cla(a, b) is fixed by 0", we may assume that
c E cla(a, b). Let B be a finite set of independent realisations of qftp(b) of size greater than m = …