Pages that link to "Item:Q1978513"

The following pages link to The variety of Kleene algebras with conversion is not finitely based (Q1978513):

Displaying 12 items.

• Axiomatizability of positive algebras of binary relations (Q647324) (← links)
• Abstract abstract reduction (Q817587) (← links)
• On equations for union-free regular languages (Q1854402) (← links)
• The max-plus algebra of the natural numbers has no finite equational basis (Q1870591) (← links)
• Finite basis problem for involution monoids of unitriangular Boolean matrices (Q1987544) (← links)
• A non-finitely based involution semigroup of order five (Q2182572) (← links)
• The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based (Q2297054) (← links)
• IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION (Q4464967) (← links)
• Finite basis problem for Catalan monoids with involution (Q5097708) (← links)
• THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES (Q5212965) (← links)
• Finite basis problem for Lee monoids with involution (Q5860654) (← links)
• Representations and identities of Baxter monoids with involution (Q6145355) (← links)