COMPACTNESS, THE LÖWENHEIM-SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES

摘要

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.

出版物
Mathematical Logic Quarterly
应明生
应明生
教授