Universal equational theories and varieties of algebras

Annals of Mathematical Logic 17 (1):117 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(79)90023-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

Review: Don Pigozzi, Base-Undecidable Properties of Universal Varieties; Don Pigozzi, Universal Equational Theories and Varieties of Algebras. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):904-904.
Varieties of quasi-Stone algebras.Hernando Gaitán - 2001 - Annals of Pure and Applied Logic 108 (1-3):229-235.
The decision problem for equational bases of algebras.George F. McNulty - 1976 - Annals of Mathematical Logic 10 (3):193.
Model completions and r-Heyting categories.Silvio Ghilardi & Marek Zawadowski - 1997 - Annals of Pure and Applied Logic 88 (1):27-46.
Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - 2020 - Studia Logica 108 (2):221-237.
On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories.Juan Vidal & Juan Tur - 2006 - Reports on Mathematical Logic:127-158.
Varieties of pseudo-interior algebras.Barbara Klunder - 2000 - Studia Logica 65 (1):113-136.
Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Amalgamation in varieties of pseudo-interior algebras.Barbara Klunder - 2003 - Studia Logica 73 (3):431 - 443.
The Equational Logic For Graph Algebras.Reinhard Pöschel - 1989 - Mathematical Logic Quarterly 35 (3):273-282.

Analytics

Added to PP
2014-01-17

Downloads
17 (#1,160,666)

6 months
6 (#888,477)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

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.
Undecidable properties of finite sets of equations.George F. McNulty - 1976 - Journal of Symbolic Logic 41 (3):589-604.
The decision problem for equational bases of algebras.George F. McNulty - 1976 - Annals of Mathematical Logic 10 (3):193.

View all 6 references / Add more references