Return to Article Details On the Definitional Embeddability of Some Elementary Algebraic Theories into the First-Order Predicate Calculus Download Download PDF