Pages that link to "Item:Q4093440"

The following pages link to Definability in lattices of equational theoris (Q4093440):

Displaying 20 items.

• Definability in the substructure ordering of simple graphs (Q259729) (← links)
• A new product of algebras and a type reduction theorem (Q795856) (← links)
• A property of the lattice of equational theories (Q1083465) (← links)
• Lattices of equational theories of models (Q1149430) (← links)
• Structural diversity in the lattice of equational theories (Q1164076) (← links)
• Further properties of lattices of equational theories (Q1180695) (← links)
• A field guide to equational logic (Q1201350) (← links)
• Definability in the lattice of equational theories of semigroups (Q1209280) (← links)
• Intervals in the lattice of varieties (Q1236558) (← links)
• Open questions related to the problem of Birkhoff and Maltsev (Q1770619) (← links)
• Covering in the lattice of equational theories and some properties of term finite theories (Q1838506) (← links)
• On definability in some lattices of semigroup varieties. (Q1939493) (← links)
• Complexity in Young's lattice (Q2668002) (← links)
• The structure and definability in the lattice of equational theories of strongly permutative semigroups (Q2884393) (← links)
• Automorphisms of the lattice of equational theories of commutative semigroups (Q3631861) (← links)
• The contributions of Alfred Tarski to general algebra (Q3770483) (← links)
• (Q3932855) (← links)
• (Q3964639) (← links)
• Varieties of algebras with equationally definable zeros (Q4163576) (← links)
• Definability in the lattice of equational theories of commutative semigroups (Q4813816) (← links)