Affine completeness of Kleene algebras
Tóm tắt
An algebra is called affine complete if all its compatible (i.e. congruence-preserving) functions are polynomial functions. In this paper we characterize affine complete members in the variety of Kleene algebras. We also characterize local polynomial functions of Kleene algebras and use this result to describe locally affine complete Kleene algebras.