The polytopologies of transfinite provability logic | Publicación