Model theoretic properties in the variety generated by a primal algebra
From MaRDI portal
Publication:1312171
DOI10.1007/BF01195381zbMath0795.03040MaRDI QIDQ1312171
Publication date: 1 September 1994
Published in: Algebra Universalis (Search for Journal in Brave)
Operations and polynomials in algebraic structures, primal algebras (08A40) Equational classes, universal algebra in model theory (03C05) Varieties (08B99)
Cites Work
- Unnamed Item
- Unnamed Item
- Boolean powers
- Bounded Boolean powers and \(\equiv_n\)
- Boolean powers, recursive models, and the Horn theory of a structure
- Model companions for finitely generated universal Horn classes
- Recursive prime models for Boolean algebras
- Model companions and k-model completeness for the complete theories of Boolean algebras
- $∀_n$-theories of Boolean algebras