${\aleph }_1$ and the modal $\mu$-calculus

Maria João Gouveia, Luigi Santocanale

For a regular cardinal $\kappa$, a formula of the modal $\mu$-calculus is $\kappa$-continuous in a variable x if, on every model, its interpretation as a unary function of x is monotone and pr…