Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
We use the theory of clones to prove that a countably presented variety of algebras can be embedded in a variety of groupoids.
[1]Evans, T., ‘Embedding theorems for multiplicative systems and projective geometries’, Proc. Amer. Math. Soc.3 (1952), 614–620.CrossRefGoogle Scholar
[2]
[2]Evans, T. and Hardy, F.L., ‘Sheffer stroke functions in many-valued logics’, Portugal. Math.16 (1957), 83–93.Google Scholar
[3]
[3]Evans, T., ‘Some remarks on the general theory of clones’: Proc. Conf. on Finite Algebra and Multiple-valued Logic, Szeged, Hungary (1979). (North-Holland Pub. Co.), Colloq. Math. Soc., Janos Bolyai28 (1982), 203–244.Google Scholar
[4]
[4]Higman, G., Neumann, B.H. and Neumann, H., ‘Embedding theorems for groups’, J. London Math. Soc.26 (1949), 267–254.Google Scholar
[5]
[5]Neumann, W.D., ‘Representing varieties of algebras by algebras’, J. Austral. Math. Soc.11 (1970), 1–8.CrossRefGoogle Scholar
[6]
[6]Sierpinski, W., ‘Sur les fonctions de plusieurs variables’, Fund. Math.33 (1945), 169–173.CrossRefGoogle Scholar