Model theory for infinite quantifier languages
Volume 134 / 1990
Fundamenta Mathematicae 134 (1990), 125-142
DOI: 10.4064/fm-134-2-125-142