Comparing The Expressive Power of Some Languages for Boolean Algebras

DOI10.1002/MALQ.19810272506MaRDI QIDQ3926547zbMATHOpenAlexFDO

Authors Lutz Heindorf

Publication date 1981

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

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

zbMATH Keywords

Stone spacetopological model theoryclassification of typesfirst order language with extra quantifierlanguage for topological spacessecond order language with set variables ranging over ultrafiltersweak second order language

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10)

Cited in

(5)

• Corrigendum to “Taxonomies of model-theoretically defined topological properties”
• Théories d'algèbres de Boole munies d'idéaux distingués. II
• On Boolean algebras and integrally closed commutative regular rings
• The word problem for \(Heyting^ *\) algebras
• On the $n$-back-and-forth types of Boolean algebras

This page was built for publication: Comparing The Expressive Power of Some Languages for Boolean Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3926547)