TY - JOUR AU - Luigi Santocanale TI - The alternation hierarchy for the theory of $\mu$-lattices JO - Theory and Applications of Categories [electronic only] PY - 2000 SP - 166 EP - 197 VL - 9 UR - https://geodesic-test.mathdoc.fr/item/TAC_2000__9_a8/ LA - en ID - TAC_2000__9_a8 ER -