Comparing The Expressive Power of Some Languages for Boolean Algebras

DOI10.1002/MALQ.19810272506zbMATH Open0472.03008OpenAlexW2022190230MaRDI QIDQ3926547FDOQ3926547

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)

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

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)