Comparing The Expressive Power of Some Languages for Boolean Algebras

DOI10.1002/MALQ.19810272506MaRDI QIDQ3926547zbMATH OpenOpenAlexFDO

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

classification of typesfirst order language with extra quantifierlanguage for topological spacessecond order language with set variables ranging over ultrafiltersStone spacetopological model theoryweak second order language

Mathematics Subject Classification ID

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

Cited in

(5)

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

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)