Variable compactness in 1-order logic
scientific article; zbMATH DE number 1308924