Completions of \(\mu \)-algebras (Q925850)

A \(\mu\)-algebra is a model of the first-order theory of bounded lattices extended with prefixed point operators. Modal \(\mu\)-algebras are algebraic models of the propositional modal \(\mu\)-calculus. The author proves that any non-trivial quasivariety of \(\mu\)-algebras contains a \(\mu\)-algebra that has no embedding into a complete \(\mu\)-algebra. Then he focuses on free modal \(\mu\)-algebras and obtains some new results about them, inter alia implying that the MacNeille-Dedekind completion of a free modal \(\mu\)-algebra is a complete modal \(\mu\)-algebra, and moreover the canonical embedding preserves all the operations in the class \(\text{Comp}(\Sigma_1,\Pi_1)\) of the fixed-point alternation hierarchy.