Fixed point logics and definable topological properties | Publicación