NONDERIVABILITY IN INTUITIONISTIC FORMAL SYSTEMS OF THEOREMS ON CONTINUITY OF EFFECTIVE OPERATIONS

被引：20

作者：

BEESON, MJ ^{[1
]}

机构：

[1] UNIV TEXAS,AUSTIN,TX 78712

来源：

关键词：

D O I：

10.2307/2272158

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：321 / 346

页数：26

相关论文

共 10 条

[1]

FRIEDMAN H, REALIZABILITY INTUIT

[2]

KREISEL G, 1965, LECTURES MODERN MATH, V3

[3]

KREISEL G, ARCH MATHEMATISCHE L, V5, P42

[4]

KREISEL G, 1959, CONSTRUCTIVITY MATHE

[5]

Kreisel Georg, 1962, J SYMBOLIC LOGIC, V27, P139

[6]

MYHILL J, 1955, Z MATH LOGIK GRUNDLA, P310

[7]

Rogers Jr. H., 1967, MCGRAW HILL SERIES H

[8]

SPECTOR C, 1962, P S PURE MATHEMATICS, V5

[9]

TROELSTRA AS, 1971, 2ND P SCAND LOG S

[10]

TROELSTRA AS, 1973, LECTURE NOTES MATHEM, V344