Compactness=JEP in any logic
Volume 116 / 1983
Fundamenta Mathematicae 116 (1983), 99-108
DOI: 10.4064/fm-116-2-99-108