Some Observations on the FGH Theorem

被引：0
|
作者：
Kurahashi, Taishi [1 ]
机构：
[1] Kobe Univ, Grad Sch Syst Informat, 1-1 Rokkodai Nada, Kobe 6578501, Japan
来源：
STUDIA LOGICA | 2023年 / 111卷 / 05期
关键词：
The FGH theorem; Weak representability of c; e; sets; Incompleteness theorem; Provability logic; Rosser provability predicates; PROVABILITY LOGICS;
D O I：
10.1007/s11225-023-10045-6
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We investigate the Friedman-Goldfarb-Harrington theorem from two perspectives. Firstly, in the frameworks of classical and modal propositional logics, we study the forms of sentences whose existence is guaranteed by the FGH theorem. Secondly, we prove some variations of the FGH theorem with respect to Rosser provability predicates.
引用
收藏
页码：749 / 778
页数：30
相关论文
共 50 条
12345