Definability in lattices of equational theoris
From MaRDI portal
Publication:4093440
DOI10.1016/0003-4843(71)90007-6zbMATH Open0328.02038OpenAlexW2027579376MaRDI QIDQ4093440FDOQ4093440
Authors: Ralph McKenzie
Publication date: 1971
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(71)90007-6
Cited In (20)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automorphisms of the lattice of equational theories of commutative semigroups
- Open questions related to the problem of Birkhoff and Maltsev
- Definability in the substructure ordering of simple graphs
- Definability in the lattice of equational theories of commutative semigroups
- A field guide to equational logic
- Definability in the lattice of equational theories of semigroups
- Lattices of equational theories of models
- Complexity in Young's lattice
- Varieties of algebras with equationally definable zeros
- On definability in some lattices of semigroup varieties.
- Covering in the lattice of equational theories and some properties of term finite theories
- Structural diversity in the lattice of equational theories
- A new product of algebras and a type reduction theorem
- A property of the lattice of equational theories
- The structure and definability in the lattice of equational theories of strongly permutative semigroups
- Intervals in the lattice of varieties
- Further properties of lattices of equational theories
- The contributions of Alfred Tarski to general algebra
This page was built for publication: Definability in lattices of equational theoris
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4093440)