The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier

Hans-Joachim Goltz. The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier. Math. Log. Q., 31(9-12):131-162, 1985. [doi]

Abstract

Abstract is missing.