scientific article; zbMATH DE number 3977073

MaRDI QIDQ3743360zbMATH OpenFDO

Authors Jaroslav Ježek

Publication date 1986

Full work available at URL https://eudml.org/doc/13584

zbMATH Keywords

equational theories of finite algebraslattice of varieties

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Lattices of varieties (08B15)

Recommendations

• Further properties of lattices of equational theories
• scientific article; zbMATH DE number 4051703
• Definability in the lattice of equational theories of semigroups
• Definability in the lattice of equational theories of commutative semigroups
• Congruences, equational theories and lattice representations

Cites work

• Primitive classes of algebras with unary and nullary operations

Cited in

(16)

• Definability in substructure orderings. IV: Finite lattices
• A field guide to equational logic
• Definability in the lattice of equational theories of semigroups
• Open questions related to the problem of Birkhoff and Maltsev
• Remarks and problems on a lattice of equational chapters
• On definability in some lattices of semigroup varieties.
• The undecidability of the elementary theory of lattices of all equational theories of large signature
• Definability in the substructure ordering of simple graphs
• The structure and definability in the lattice of equational theories of strongly permutative semigroups
• Definability for equational theories of commutative groupoids.
• The ordering of commutative terms
• Automorphisms of the lattice of equational theories of commutative semigroups
• Definability in the lattice of equational theories of commutative semigroups
• A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
• An equational logic sampler
• Bounded and well-placed theories in the lattice of equational theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3743360)