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