Model theoretic properties in the variety generated by a primal algebra

DOI10.1007/BF01195381zbMATH Open0795.03040MaRDI QIDQ1312171

George C. Nelson

Publication date: 1 September 1994

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

primal algebraequational theoryfinite axiomatizabilitymodel completenessbounded Boolean power

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Equational classes, universal algebra in model theory (03C05) Varieties (08B99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

Related Items (1)

Autostability of prime models under strong constructivizations

This page was built for publication: Model theoretic properties in the variety generated by a primal algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1312171)