Completeness of the G\"odel-L\"ob provability logic for the filter sequence of normal measures
Logic
2023-02-24 v3
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.
Keywords
Cite
@article{arxiv.2110.02786,
title = {Completeness of the G\"odel-L\"ob provability logic for the filter sequence of normal measures},
author = {Mohammad Golshani and Reihane Zoghifard},
journal= {arXiv preprint arXiv:2110.02786},
year = {2023}
}