The polytopologies of transfinite provability logic
David Fernández–Duque · arXiv (Cornell University) · 2012
Provability logics are modal or polymodal systems designed for modeling the behavior of Gödel's provability predicate in arithmetical theories and its natural extensions. If Λis any ordinal, the Gödel-Löb calculus GLP(Λ) contains one modality [λ] for each λ