Representation of varieties in combinatory algebras (Q1821805)

It is shown that the set of completions of algebras in a variety can be represented as the set of solutions of a single equation of the form \(A\cdot X=B\cdot X\) in the author's model of combinatory algebra. A and B are determined directly from the equations which present the variety. Conversely, the individual structures are realized as retracts and the algebraic operations as combinatory objects; these are reclaimable by fixed combinators from the individual solutions X. These results can be extended to universal classes and to algorithmic classes.