Orthogonality and modularity
Peter Cholak · 2005
That is, if Ms such that (b, . . . , am(b)) has locus V over E, then qftp (b/E) = qftp(5/2s). (2) Our definition does not quite agree with the usual definition of canonical bases for types in simple theories.