The omega-rule interpretation of transfinite provability logic | Publicación