The following pages link to Identities in Finite Algebras (Q5825749):
Displaying 35 items.
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- The equational complexity of Lyndon's algebra (Q539978) (← links)
- On a fragment of the implicative propositional calculus (Q766811) (← links)
- The finite basis question for semigroups of order less than six (Q786928) (← links)
- Basic questions for general algebras (Q797614) (← links)
- Lyndon's groupoid is not inherently nonfinitely based (Q915755) (← links)
- Nonfinitely based three-element idempotent groupoids (Q1063017) (← links)
- Partial evaluation and \(\omega\)-completeness of algebraic specifications (Q1084849) (← links)
- On finite bases for varieties and pseudovarieties (Q1109060) (← links)
- Congruence varieties (Q1141676) (← links)
- A four-element algebra whose identities are not finitely based (Q1147176) (← links)
- Finite groupoids without finite bases for their identities (Q1159702) (← links)
- Infinite chains of non-finitely based equational theories of finite algebras (Q1160210) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- An inherently nonfinitely based commutative directoid (Q1272236) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Inherently nonfinitely based lattices (Q1612484) (← links)
- Finite axiomatizability of congruence rich varieties (Q1902530) (← links)
- Gentzen-style axiomatizations in equational logic (Q1902550) (← links)
- Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions (Q2342799) (← links)
- Dualizability of automatic algebras. (Q2436718) (← links)
- Algebraic properties of some quadratic dynamical systems (Q2490018) (← links)
- Equivalent transformations of formulas in \(P_2\). (Q2513087) (← links)
- Bases for equational theories of semi-groups (Q2536632) (← links)
- Flat extensions of groups and limit varieties of additively idempotent semirings (Q2694733) (← links)
- A finite basis theorem for difference-term varieties with a finite residual bound (Q2787967) (← links)
- On the Identities of Certain Algebras (Q3246436) (← links)
- On algebraic specifications of computable algebras with the discriminator technique (Q3358246) (← links)
- EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER (Q3560283) (← links)
- (Q3832626) (← links)
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras (Q4041620) (← links)
- THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE (Q4986300) (← links)
- Varieties of groups (Q5528704) (← links)
- Convexity preserving deformations of digital sets: characterization of removable and insertable pixels (Q6069173) (← links)
