AN INSIDE VIEW OF EXP - OR, THE CLOSED FRAGMENT OF THE PROVABILITY LOGIC OF I-DELTA-0 + OMEGA-1 WITH A PROPOSITIONAL CONSTANT FOR EXP

被引：24
作者：
VISSER, A
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1992年 / 57卷 / 01期
关键词：
D O I：
10.2307/2275181
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this paper I give a characterization of the closed fragment of the provability logic of I DELTA(0) + EXP with a propositional constant for EXP. In three appendices many details on arithmetization are provided.
引用
收藏
页码：131 / 165
页数：35
相关论文
共 35 条
[1]  
Artemov S., 1985, MATH USSR IZVESTIA, V49, p[1123, 401]
[2]  
ARTEMOV SN, 1987, AM MATH SOC TRANSL, V135, P39
[3]  
BARENDREGT HP, SYSC8701 U E ANGL SC
[4]  
BARENDREGT HP, 1986, 87 U NIJM DEP COMP S
[5]  
BENNET HJ, 1962, THESIS PRINCETON U P
[6]   THE INTERPRETABILITY LOGIC OF PEANO ARITHMETIC [J].
BERARDUCCI, A .
JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (03) :1059-1089
[7]   DECIDING TRUTH OF CERTAIN STATEMENTS INVOLVING NOTION OF CONSISTENCY [J].
BOOLOS, G .
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (04) :779-781
[8]  
Boolos George, 1979, UNPROVABILITY CONSIS
[9]  
BUSS SR, 1985, THESIS PRINCETON U P
[10]  
de Jongh D.H.J., 1990, MATH LOGIC, P31
1234