Completeness of the G\"odel-L\"ob provability logic for the filter sequence of normal measures
Abstract
Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic 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.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.