Comparing The Expressive Power of Some Languages for Boolean Algebras

DOI10.1002/malq.19810272506zbMath0472.03008OpenAlexW2022190230MaRDI QIDQ3926547

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

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

Related Items

The word problem for \(Heyting^ *\) algebras ⋮ Théories d'algèbres de Boole munies d'idéaux distingués. II ⋮ On Boolean algebras and integrally closed commutative regular rings ⋮ Corrigendum to “Taxonomies of model-theoretically defined topological properties” ⋮ 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