Definability in lattices of equational theoris
From MaRDI portal
Publication:4093440
DOI10.1016/0003-4843(71)90007-6zbMath0328.02038OpenAlexW2027579376MaRDI QIDQ4093440
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
Related Items (20)
The structure and definability in the lattice of equational theories of strongly permutative semigroups ⋮ A property of the lattice of equational theories ⋮ Definability in the lattice of equational theories of commutative semigroups ⋮ Complexity in Young's lattice ⋮ The contributions of Alfred Tarski to general algebra ⋮ On definability in some lattices of semigroup varieties. ⋮ Lattices of equational theories of models ⋮ Varieties of algebras with equationally definable zeros ⋮ Structural diversity in the lattice of equational theories ⋮ Unnamed Item ⋮ Further properties of lattices of equational theories ⋮ A field guide to equational logic ⋮ Unnamed Item ⋮ Definability in the lattice of equational theories of semigroups ⋮ Open questions related to the problem of Birkhoff and Maltsev ⋮ Intervals in the lattice of varieties ⋮ Automorphisms of the lattice of equational theories of commutative semigroups ⋮ Covering in the lattice of equational theories and some properties of term finite theories ⋮ A new product of algebras and a type reduction theorem ⋮ Definability in the substructure ordering of simple graphs
This page was built for publication: Definability in lattices of equational theoris
