The decision problem for equational bases of algebras

Annals of Mathematical Logic 10 (3):193 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(76)90009-7

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

V. L. MurskiĬ. Nondiscernible properties of finite systems of identity relations. Soviet mathematics, vol. 12 , pp. 183–186. , pp. 520–522.) - George F. McNulty. The decision problem for equational bases of algebras. Annals of mathematical logic, vol. 10 , pp. 193–259. - George F. McNulty. Undecidable properties of finite sets of equations. The journal of symbolic logic, vol. 41 , pp. 589–604. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):903-904.
Universal equational theories and varieties of algebras.Don Pigozzi - 1979 - Annals of Mathematical Logic 17 (1):117.
Varieties of quasi-Stone algebras.Hernando Gaitán - 2001 - Annals of Pure and Applied Logic 108 (1-3):229-235.
F. M. Sioson. Equational bases of Boolean algebras. The journal of symbolic logic, vol. 29 no. 3 , pp. 115–124.William Wernick - 1966 - Journal of Symbolic Logic 31 (2):273.
Equational bases of Boolean algebras.F. M. Sioson - 1964 - Journal of Symbolic Logic 29 (3):115-124.
Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor. Algebras, lattices, varieties. Volume I. The Wadsworth & Brooks/Cole mathematics series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., 1987, xii + 361 pp. [REVIEW]Joel Berman - 1992 - Journal of Symbolic Logic 57 (1):266-268.
Pixley A. F.. Distributivity and permutability of congruence relations in equational classes of algebras. Proceedings of the American Mathematical Society, vol. 14 , pp. 105–109. [REVIEW]Ralph Seifert - 1972 - Journal of Symbolic Logic 37 (4):762-762.
The Equational Logic For Graph Algebras.Reinhard Pöschel - 1989 - Mathematical Logic Quarterly 35 (3):273-282.
Equational two axiom bases for Boolean algebras and some other lattice theories.Bolesław Sobociński - 1979 - Notre Dame Journal of Formal Logic 20 (4):865-875.
Andréka H., Givant S., and Németi I.. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv+ 126 pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-39.

Analytics

Added to PP
2014-01-17

Downloads
28 (#837,946)

6 months
7 (#469,699)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Thue trees.Jerzy Marcinkowski & Leszek Pacholski - 2003 - Annals of Pure and Applied Logic 119 (1-3):19-59.
The contributions of Alfred Tarski to general algebra.Bjarni Jónsson - 1986 - Journal of Symbolic Logic 51 (4):883-889.

View all 6 citations / Add more citations

References found in this work

Recursive unsolvability of a problem of thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (1):1-11.
Unsolvable problems for equational theories.Peter Perkins - 1967 - Notre Dame Journal of Formal Logic 8 (3):175-185.
The Number of Equationally Complete Classes of Equations.Jan Kalicki - 1958 - Journal of Symbolic Logic 23 (1):56-57.
Recursive Functions of One Variable.Julia Robinson - 1970 - Journal of Symbolic Logic 35 (3):476-476.
Undecidable properties of finite sets of equations.George F. McNulty - 1976 - Journal of Symbolic Logic 41 (3):589-604.

View all 7 references / Add more references