Can I read Completeness of the G\"odel-L\"ob provability logic for the filter sequence of normal measures on EtoBox?

Completeness of the G\"odel-L\"ob provability logic for the filter sequence of normal measures by Golshani, Mohammad; Zoghifard, Reihane is a scholarly article available to read on EtoBox.

What is Completeness of the G\"odel-L\"ob provability logic for the filter sequence of normal measures about?

Assuming 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.

Author

Golshani, Mohammad; Zoghifard, Reihane

Published

2021

Language

EN