Completions of mu-algebras

Luigi Santocanale

A $\mu$-algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms $(f,{\mu }_x.f)$ where ${\mu }_x.f$ is axiomatized…