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 条

[21] SOME CONSEQUENCES OF ARCHANGELSKIIS THEOREM
MROWKA, S
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (05): : 373 - &
[22] SOME REMARKS ON A THEOREM OF KACHUROVSKII
DANCER, EN
[J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1978, 62 (03) : 525 - 529
[23] Some Applications of a Coincidence Theorem
江嘉禾
[J]. Acta Mathematica Sinica,English Series, 1993, (02) : 139 - 147
[24] SOME REMARKS ON A THEOREM OF GUDKOV
SZULC, T
[J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 1995, 225 : 221 - 235
[25] Some complements to the Noether theorem
Dubreil, P
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1929, 188 : 1362 - 1364
[26] SOME EXTENSIONS OF PALL THEOREM
ZENKIN, AA
[J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1983, 9 (04) : 609 - 615
[27] Some generalizations of the Bernstein theorem
Mitidieri, E
Pokhozhaev, SI
[J]. DIFFERENTIAL EQUATIONS, 2002, 38 (03) : 392 - 397
[28] Some remarks on a theorem of Bergman
Banerjee, Abhishek
[J]. COMPTES RENDUS MATHEMATIQUE, 2016, 354 (07) : 665 - 670
[29] Some Generalizations of the Bernstein Theorem
E. Mitidieri
S. I. Pokhozhaev
[J]. Differential Equations, 2002, 38 : 392 - 397
[30] SOME RESULTS OF FENCHELS THEOREM
GUGGENHE.H
[J]. ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI RENDICONTI-CLASSE DI SCIENZE FISICHE-MATEMATICHE & NATURALI, 1969, 47 (3-4): : 157 - &

← 1 2 3 4 5 →