The following pages link to (Q3934450):
Displayed 50 items.
- Finitely generated equational classes (Q258136) (← links)
- Definability in the substructure ordering of simple graphs (Q259729) (← links)
- Kite \(n\)-perfect pseudo effect algebras (Q261577) (← links)
- On lattices of formations of monounary algebras with finitely many cycles. (Q266239) (← links)
- Lattice-valued preordered sets as lattice-valued topological systems (Q277553) (← links)
- Representation of lattices by fuzzy weak congruence relations (Q277569) (← links)
- Pseudovarieties of algebras with fuzzy equalities. (Q277570) (← links)
- A new approach for classification of filters in residuated lattices (Q277573) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- On Birkhoff's quasigroup axioms. (Q279714) (← links)
- Clones with nullary operations. (Q280187) (← links)
- Regular languages of thin trees (Q290908) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- Natural dualities through product representations: bilattices and beyond (Q295925) (← links)
- Semantical conditions for the definability of functions and relations (Q312209) (← links)
- Finite generation of congruence preserving functions (Q314481) (← links)
- Prime Lie algebras satisfying the standard Lie identity of degree 5 (Q324221) (← links)
- Proof complexity of intuitionistic implicational formulas (Q331054) (← links)
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties (Q334968) (← links)
- Profinite algebras and affine boundedness (Q340419) (← links)
- Minimal hyperspace actions of homeomorphism groups of h-homogeneous spaces (Q351288) (← links)
- Boolean-like algebras (Q353355) (← links)
- Maximality on fuzzy filters of lattices (Q354937) (← links)
- Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\) (Q358692) (← links)
- The variety generated by all the ordinal sums of perfect MV-chains (Q361853) (← links)
- Finite basis problem for semigroups of order five or less: generalization and revisitation. (Q361862) (← links)
- Constraint satisfaction, irredundant axiomatisability and continuous colouring (Q361864) (← links)
- Entropic pairs of operations and generalized endomorphisms (Q378691) (← links)
- 2-supernilpotent Mal'cev algebras (Q382217) (← links)
- Meet-irreducible submaximal clones determined by nontrivial equivalence relations (Q382339) (← links)
- On independent varieties and some related notions (Q382342) (← links)
- Sequences of commutator operations (Q382884) (← links)
- Isometrical embeddings of lattices into geometric lattices (Q382894) (← links)
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- A process calculus with finitary comprehended terms (Q385508) (← links)
- On integro-differential algebras. (Q392441) (← links)
- Rectangular groupoids and related structures (Q392631) (← links)
- Leibniz interpolation properties (Q393904) (← links)
- Commutator theory for loops. (Q397857) (← links)
- Algebras that represent Steiner systems through permutation groups. (Q404474) (← links)
- On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others (Q408326) (← links)
- On good EQ-algebras (Q409738) (← links)
- A non-associative generalization of Hájek's BL-algebras (Q409739) (← links)
- On limits and colimits of variety-based topological systems (Q409742) (← links)
- The decidability of some classes of Stone algebras (Q412007) (← links)
- Endomorphisms of finite regular Kleene lattices (Q412011) (← links)
- Intuitionistic logic and Muchnik degrees (Q412013) (← links)