G. L. Cherlin. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 (1972), pp. 546–556. - L. Lipshitz and D. Saracino. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 (1973), pp. 381–387. - Angus Macintyre. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 (1973), pp. 73–89.
1983 ◽
Vol 48
(2)
◽
pp. 496-496