Quantifier elimination for Stone algebras

DOI10.1007/BF01633983zbMath0672.03016MaRDI QIDQ1119567

Switgard Feuerstein

Publication date: 1989

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

zbMATH Keywords

quantifier eliminationStone algebrapseudocomplemented lattice

Mathematics Subject Classification ID

Pseudocomplemented lattices (06D15) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

The countable homogeneous universal model of \(B_ 2\) ⋮ Model theory of Boolean products of subdirectly irreducible heyting algebras

Cites Work

• Algebraically closed distributive p-algebras
• Model companions of distributive p-algebras
• Rings which admit elimination of quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantifier elimination for Stone algebras