Norman Feldman

Functional representation of substitution algebras

2015 · arXiv (Cornell University)

We show that the class of representable substitution algebras is characterized by a set of universal first order sentences. In addition, it is shown that a necessary and sufficient condition for a substitution algebra to …