Abstract
AbstractAssuming the existence of suitable large cardinals, we show it is consistent that the Provability logic $\mathbf {GL}$ 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have