Completeness of the Gödel-Löb provability logic for the filter sequence of normal measures
arXiv:2110.02786
Abstract
Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic is complete with respect to the filter sequence of normal measures. This result answers a question of Andreas Blass from 1990 and a related question of Beklemishev and Joosten.