@misc{indiciae41019c9e229b, title = {\$\textbackslash{}aleph\_1\$ and the modal \$μ\$-calculus}, author = {Maria João Gouveia and Luigi Santocanale}, year = {2019}, doi = {10.23638/lmcs-15(4:1)2019}, url = {https://arxiv.org/abs/1704.03772}, note = {Source identifier: 1704.03772} }