Definability in Lattices of Equational Theories

Journal of Symbolic Logic 39 (3):601-602 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272909

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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: Ralph McKenzie, Definability in Lattices of Equational Theories. [REVIEW]S. Burris - 1974 - Journal of Symbolic Logic 39 (3):601-602.
Definability in lattices of equational theories.Ralph McKenzie - 1971 - Annals of Mathematical Logic 3 (2):197.
Definability in lattices of equational theoris.Ralph McKenzie - 1971 - Annals of Mathematical Logic 3 (2):197-237.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Inherently nonfinitely based lattices.Ralph Freese, George F. McNulty & J. B. Nation - 2002 - Annals of Pure and Applied Logic 115 (1-3):175-193.
Infinitary Action Logic: Complexity, Models and Grammars.Wojciech Buszkowski & Ewa Palka - 2008 - Studia Logica 89 (1):1-18.
Distributive lattices with a dual homomorphic operation. II.Alasdair Urquhart - 1981 - Studia Logica 40 (4):391 - 404.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
Review: Kirby A. Baker, Equational Axioms for Classes of Lattices. [REVIEW]Ralph McKenzie - 1974 - Journal of Symbolic Logic 39 (1):184-184.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Distributive lattices with a dual homomorphic operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.
Proving consistency of equational theories in bounded arithmetic.Arnold Beckmann† - 2002 - Journal of Symbolic Logic 67 (1):279-296.
On uniform definability of types over finite sets.Vincent Guingona - 2012 - Journal of Symbolic Logic 77 (2):499-514.
On the equational theory of projection lattices of finite von Neumann factors.Christian Herrmann - 2010 - Journal of Symbolic Logic 75 (3):1102-1110.
Review: A. Tarski, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Equational Logic and Equational Theories of Algebras. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.

Analytics

Added to PP
2017-02-21

Downloads
2 (#1,808,473)

6 months
1 (#1,478,456)

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