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

DOI10.1002/MALQ.19850310902zbMath0584.03026OpenAlexW2023514699MaRDI QIDQ3708787

Hans-Joachim Goltz

Publication date: 1985

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19850310902

zbMATH Keywords

Boolean algebrafinitely axiomatizable model

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Boolean algebras (Boolean rings) (06E99) Logic with extra quantifiers and operators (03C80) Total orders (06A05) Properties of classes of models (03C52)

This page was built for publication: The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier