Equivalent Universal Horn Theories. General Algebraic Logic

Academic Paper from the year 2018 in the subject Mathematics - Miscellaneous, grade: 3, language: English, abstract: The aim of this monograph is to introduce and study a general concept of equivalence between universal Horn theories that would cover on an equal formal basis both Malcevs concept of rational equivalence between implicational classes of abstract algebras and our more recent concept of definitional equivalence between finitary universal Horn theories without equality proposed and explored in one of our previous works. Starting from a formal definition quite naturally generalizing our conception of definitional equivalence, we then advance our generalized notion towards a Malcev-style categorical characterization of equivalence justifying our generalization. We also apply our general study to the issues of equivalential and algebraizable universal Horn theories. We also supply our general results with appropriate counterexamples showing that the former cannot be strengthened. At last, we provide an example of a finite finitary infinitely algebraizable universal Horn theory that justifies involving infinitary logic within the context of General Algebraic Logic.