Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 

 

Completeness in finite algebras with a single operation


Author: G. Rousseau
Journal: Proc. Amer. Math. Soc. 18 (1967), 1009-1013
MSC: Primary 08.30; Secondary 02.00
MathSciNet review: 0217002
Full-text PDF Free Access

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [1] 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
  • [2] Roger F. Wheeler, Complete connectives for the 3-valued propositional calculus, Proc. London Math. Soc. (3) 16 (1966), 167–191. MR 0189986
  • [3] Ivo Rosenberg, La structure des fonctions de plusieurs variables sur un ensemble fini, C. R. Acad. Sci. Paris 260 (1965), 3817–3819 (French). MR 0176917
  • [4] S. V. Jablonskiĭ, Functional constructions in a 𝑘-valued logic, Trudy Mat. Inst. Steklov. 51 (1958), 5–142 (Russian). MR 0104578
  • [5] 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
  • [6] 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
  • [7] P. Schofield, Complete subsets of mappings over a finite domain, Proc. Cambridge Philos. Soc. 62 (1966), 597–611. MR 0202587
  • [8] Roy O. Davies, Two theorems on essential variables, J. London Math. Soc. 41 (1966), 333–335. MR 0199096

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 08.30, 02.00

Retrieve articles in all journals with MSC: 08.30, 02.00


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9939-1967-0217002-1
Article copyright: © Copyright 1967 American Mathematical Society