The lattice of equational theories. Part II: The lattice of full sets of terms
From MaRDI portal
Publication:3946216
DOI10.21136/cmj.1981.101775zbMath0486.08009OpenAlexW2733516447MaRDI QIDQ3946216
Publication date: 1981
Full work available at URL: https://eudml.org/doc/13288
Related Items (9)
Lattices of polynomials under substitution ⋮ An equational logic sampler ⋮ On definability in some lattices of semigroup varieties. ⋮ Further properties of lattices of equational theories ⋮ A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). ⋮ A field guide to equational logic ⋮ Open questions related to the problem of Birkhoff and Maltsev ⋮ The undecidability of the elementary theory of lattices of all equational theories of large signature ⋮ Definability in the substructure ordering of simple graphs
This page was built for publication: The lattice of equational theories. Part II: The lattice of full sets of terms