## Completeness in finite algebras with a single operation

HTML articles powered by AMS MathViewer

- by G. Rousseau PDF
- Proc. Amer. Math. Soc.
**18**(1967), 1009-1013 Request permission

## References

- Emil L. Post,
*The Two-Valued Iterative Systems of Mathematical Logic*, Annals of Mathematics Studies, No. 5, Princeton University Press, Princeton, N. J., 1941. MR**0004195** - Roger F. Wheeler,
*Complete connectives for the $3$-valued propositional calculus*, Proc. London Math. Soc. (3)**16**(1966), 167–191. MR**189986**, DOI 10.1112/plms/s3-16.1.167 - Ivo Rosenberg,
*La structure des fonctions de plusieurs variables sur un ensemble fini*, C. R. Acad. Sci. Paris**260**(1965), 3817–3819 (French). MR**176917** - S. V. Jablonskiĭ,
*Functional constructions in a $k$-valued logic*, Trudy Mat. Inst. Steklov.**51**(1958), 5–142 (Russian). MR**0104578** - Arto Salomaa,
*On basic groups for the set of functions over a finite domain*, Ann. Acad. Sci. Fenn. Ser. A I No.**338**(1963), 15. MR**0169779** - Arto Salomaa,
*On essential variables of functions, especially in the algebra of logic*, Ann. Acad. Sci. Fenn. Ser. A I No.**339**(1963), 11. MR**0169780** - P. Schofield,
*Complete subsets of mappings over a finite domain*, Proc. Cambridge Philos. Soc.**62**(1966), 597–611. MR**202587**, DOI 10.1017/s0305004100040263 - Roy O. Davies,
*Two theorems on essential variables*, J. London Math. Soc.**41**(1966), 333–335. MR**199096**, DOI 10.1112/jlms/s1-41.1.333

## Additional Information

- © Copyright 1967 American Mathematical Society
- Journal: Proc. Amer. Math. Soc.
**18**(1967), 1009-1013 - MSC: Primary 08.30; Secondary 02.00
- DOI: https://doi.org/10.1090/S0002-9939-1967-0217002-1
- MathSciNet review: 0217002