Article
Keywords:
reflection; free algebra; variety; algorithm
Summary:
References:
[1] Burris S., Sankappanavar H.P.:
A course in universal algebra. Graduate Texts in Mathematics, Springer, New York, 1981.
MR 0648287 |
Zbl 0478.08001
[2] Ježek J., Quackenbush R.W.:
Directoids: Algebraic models of up-directed sets. Algebra Universalis 27 (1990), 49–69.
MR 1025835
[3] McKenzie R.:
On spectra, and the negative solution of the decision problem for identities having a finite non-trivial model. J. Symbolic Logic 40 (1975), 186-196.
MR 0376323
[4] McKenzie R., McNulty G., Taylor W.:
Algebras, lattices, varieties. Vol. I. Wadsworth & Brooks/Cole, Monterey, 1987.
MR 0883644