Three different, but related, constructions are required to prove Lemmas 8.4 and 8.6. Given a finite algebra A that satisfies the hypotheses of either of these lemmas, we will construct an interpretation of the class of all graphs into P s (A). These constructions were inspired indirectly by A. P. Zamyatin [1978a], through the work of Burris and McKenzie . We will first restate Lemma 8.4 and then proceed to prove it.
KeywordsAbelian Group Equivalence Relation Constant Generator Dimensional Vector Space Direct Power
Unable to display preview. Download preview PDF.