The following pages link to (Q5534915):
Displayed 22 items.
- Cross varieties of aperiodic monoids with central idempotents. (Q658576) (← links)
- On the variety generated by Murskiĭ's algebra (Q795075) (← links)
- On finite alphabets and infinite bases (Q924717) (← links)
- Nonfinitely based three-element idempotent groupoids (Q1063017) (← links)
- A proof of Lyndon's finite basis theorem (Q1147174) (← links)
- A four-element algebra whose identities are not finitely based (Q1147176) (← links)
- A variety generated by a finite algebra with \(2^{\aleph_0}\) subvarieties (Q1160209) (← links)
- Infinite chains of non-finitely based equational theories of finite algebras (Q1160210) (← links)
- The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)
- Identities satisfied by a finite ring (Q1393582) (← links)
- Equational theories of unstable involution semigroups (Q1757281) (← links)
- The max-plus algebra of the natural numbers has no finite equational basis (Q1870591) (← links)
- Small semigroups generating varieties with continuum many subvarieties. (Q2270176) (← links)
- Algebraic properties of some quadratic dynamical systems (Q2490018) (← links)
- The lattice of semigroup varieties (Q2548669) (← links)
- Parallelizable algebras (Q3773330) (← links)
- An equational logic sampler (Q5055725) (← links)
- THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES (Q5212965) (← links)
- Universal algebraic methods for non-classical logics (Q6120602) (← links)