Undecidable properties of finite sets of equations

Journal of Symbolic Logic 41 (3):589-604 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272037

Other Versions

No versions found

Links

PhilArchive



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

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.
Decision problems concerning properties of finite sets of equations.Cornelia Kalfa - 1986 - Journal of Symbolic Logic 51 (1):79-87.
Decidable properties of finite sets of equations in trivial languages.Cornelia Kalfa - 1984 - Journal of Symbolic Logic 49 (4):1333-1338.
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.
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
An undecidable problem in finite combinatorics.Kevin J. Compton - 1984 - Journal of Symbolic Logic 49 (3):842-850.
A decidable variety that is finitely undecidable.Joohee Jeong - 1999 - Journal of Symbolic Logic 64 (2):651-677.
An Example of Two Weak Essentially Undecidable Theories F and F.A. Grzegorczyk - 1962 - Journal of Symbolic Logic 27 (3):358-358.
Base-Undecidable Properties of Universal Varieties.Don Pigozzi - 1982 - Journal of Symbolic Logic 47 (4):904-904.
An Undecidable Property of Recurrent Double Sequences.Mihai Prunescu - 2008 - Notre Dame Journal of Formal Logic 49 (2):143-151.

Analytics

Added to PP
2009-01-28

Downloads
53 (#410,962)

6 months
12 (#302,973)

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 decision problem for equational bases of algebras.George F. McNulty - 1976 - Annals of Mathematical Logic 10 (3):193.
Universal equational theories and varieties of algebras.Don Pigozzi - 1979 - Annals of Mathematical Logic 17 (1):117.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.
Unsolvable problems for equational theories.Peter Perkins - 1967 - Notre Dame Journal of Formal Logic 8 (3):175-185.

Add more references