Switch to: Citations

References in:

Undecidable properties of finite sets of equations

George F. McNulty

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

Add references

You must login to add references.

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details Logic and Philosophy of Logic Direct download Export citation Bookmark 594 citations
Unsolvable problems for equational theories.Peter Perkins - 1967 - Notre Dame Journal of Formal Logic 8 (3):175-185.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (5 more) Export citation Bookmark 13 citations
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 403 citations
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.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download Export citation Bookmark 52 citations
Non-recursiveness of the set of finite sets of equations whose theories are one-based.Douglas D. Smith - 1972 - Notre Dame Journal of Formal Logic 13 (1):135-138.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (5 more) Export citation Bookmark 1 citation
George Grätzer. Universal algebra. D. Van Nostrand Company, Inc., Princeton etc. 1968, xvi + 368 pp. [REVIEW]Kirby A. Baker - 1973 - Journal of Symbolic Logic 38 (4):643-644.details Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 43 citations

1