✍ Scribed by S. Crvenković; I. Dolinka; Z. Ésik
No coin nor oath required. For personal study only.
Given an arbitrary set A, one obtains the full Kleene algebra of binary relations over A by considering the operations of union, composition, re exive-transitive closure, conversion, and the empty set and the identity relation as constants. Such algebras generate the variety of Kleene algebras (with conversion). As a result of a general analysis of identities satisÿed by varieties having an involution operation, we prove that the variety of Kleene algebras with conversion has no ÿnite equational axiomatization. In our argument we make use of the fact that the variety of Kleene algebras without conversion is not ÿnitely based and that, relatively to this variety, the variety of Kleene algebras with conversion is ÿnitely axiomatized.
📜 SIMILAR VOLUMES
Interpretation of the effect of base upon orientation in eliminations from 2-alkyl halides induced by alkoxide ions has been complicated by concomitant variation of base strength and size. For example, in a change from ethoxide to &-butoxide, both the basicity and the bulk of