Fixed Point Logics and Definable Topological Properties | Publicación