...
机译:Interpolative fusions
Wesleyan Univ, Dept Math & Comp Sci, Middletown, CT 06459 USA;
Univ Notre Dame, Dept Math, Notre Dame, IN 46556 USA;
Univ Calif Irvine, Dept Math, Irvine, CA 92717 USA;
Model completeness; model companions; stability; generic predicates;