The polytopologies of transfinite provability logic
scientific article