An Alternative Setting for Resource-Bounded Lob’s Theorem

Link post