Model-completeness for sheaves of structures
Volume 81 / 1973
Fundamenta Mathematicae 81 (1973), 73-89
DOI: 10.4064/fm-81-1-73-89