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 [Book Review]

Journal of Symbolic Logic 47 (4):903-904 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273110

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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: V. L. Murskii, D. M. Pritzker, Nondiscernible Properties of Finite Systems of Identity Relations; George F. McNulty, The Decision Problem for Equational Bases of Algebras; George F. McNulty, Undecidable Properties of Finite Sets of Equations. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):903-904.
Nondiscernible Properties of Finite Systems of Identity Relations.D. M. Pritzker & George F. Mcnulty - 1982 - Journal of Symbolic Logic 47 (4):903-904.
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.
Inherently nonfinitely based lattices.Ralph Freese, George F. McNulty & J. B. Nation - 2002 - Annals of Pure and Applied Logic 115 (1-3):175-193.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.
About finite predicate logic.Herman Dishkant - 1986 - Studia Logica 45 (4):405 - 414.
Alfred Tarski and undecidable theories.George F. McNulty - 1986 - Journal of Symbolic Logic 51 (4):890-898.
Decision problems concerning properties of finite sets of equations.Cornelia Kalfa - 1986 - Journal of Symbolic Logic 51 (1):79-87.
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
Finite algebras of relations are representable on finite sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.
Finite Algebras of Relations are Representable on Finite Sets.H. Andreka, I. Hodkinson & I. Nemeti - 1999 - Journal of Symbolic Logic 64 (1):243-267.
Algebras, Lattices, Varieties.Ralph N. Mckenzie, George F. Mcnulty & Walter F. Taylor - 1992 - Journal of Symbolic Logic 57 (1):266-268.
On modal logics between K × K × K and $s5 \times s5 \times s5$.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221 - 234.
The logic of Peirce algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.

Analytics

Added to PP
2016-06-30

Downloads
37 (#431,116)

6 months
2 (#1,198,779)

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

No references found.

Add more references