We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
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