Three interpretations
Ralph McKenzie, MATTHEW A. VALERIOTE · Progress in mathematics · 1989
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 [1981]. We will first restate Lemma 8.4 and then proceed to prove it. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.