COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
Mingsheng Ying, Mingsheng Ying · Mathematical logic quarterly · 1992
Abstract We show that compactness is preserved by arbitrary direct products of lattices of truth values and that the Löwenheim‐Skolem property is preserved by finite direct products of lattices of truth values.