EXTENDING GODELS NEGATIVE INTERPRETATION TO ZF

被引：20

作者：

POWELL, WC ^{[1
]}

机构：

[1] SUNY, AMHERST, NY 14226 USA

来源：

关键词：

D O I：

10.2307/2271902

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：221 / 229

页数：9

共 14 条

FRIEDMAN, H .

[2]

FRIEDMAN H, 1974, SOME APPLICATIONS KL, V337, P113

[3]

GODEL K, 1931, ERGEBNISSE EINES MAT, P34

[4]

GOODMAN ND, TO BE PUBLISHED

[5]

GOODMAN ND, 1972, FORMALIZATION BISHOP, V274, P83

[6]

HEYTING A, INFINITISTIC METHODS, P185

[7] A SURVEY OF PROOF THEORY [J].

KREISEL, G .

[8]

KREISEL G, 1968, LOGIC METHODOLOGY PH, P143

[9] EMBEDDING CLASSICAL LOGIC IN INTUITIONISTIC LOGIC [J].

MYHILL, J .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (01) :93-96

[10]

MYHILL J, TO BE PUBLISHED