Finite inseparability of some theories of cylindrification algebras

DOI10.2307/2271091zbMath0175.26704OpenAlexW2008718740MaRDI QIDQ5565093

Stephen D. Comer

Publication date: 1969

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271091

zbMATH Keywords

algebraic logic, model theory

Related Items

Bjarni Jónsson's contributions in algebra ⋮ A decidable variety that is finitely undecidable ⋮ On varieties of cylindric algebras with applications to logic ⋮ Undecidable fragments of elementary theories ⋮ Varieties with decidable finite algebras. I: Linearity

Cites Work

• Boolean Algebras with Operators. Part I

This page was built for publication: Finite inseparability of some theories of cylindrification algebras