Abstract
We show that the model theoretic and syntactic properties of the structures in the variety generated by a primal algebra are essentially the same as those in the variety generated by the two element Boolean algebra. The particular properties that we study here are the finite axiomatizability of their theories, the quantifier complexity of axioms for their theories, and various kinds of model completeness for these theories. It turns out that the proofs of these results can be extracted from the corresponding results for Boolean algebras if one takes the proper viewpoint.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have