TRANSFINITE INDUCTION AND BAR INDUCTION OF TYPES ZERO AND 1 AND ROLE OF CONTINUITY IN INTUITIONISTIC ANALYSIS

被引：45

作者：

HOWARD, WA

KREISEL, G

机构：

来源：

关键词：

D O I：

10.2307/2270450

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：325 / &

共 17 条

[1] POINTS AND SPACES [J].

BROUWER, LEJ .

CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1954, 6 (01) :1-17

[2] The domains of functions [J].

Brouwer, LEJ .

[3]

FEFERMAN S, 1963, NOTICES AM MATH SOC, V0010, P00593

[4]

GENTZEN G, 1938, FORSCHUNGEN LOGIK GR

[5]

Godel K., 1958, DIALECTICA, V12, P280, DOI DOI 10.1111/J.1746-8361.1958.TB01464.X)

[6]

Heyting A., 1959, CONSTRUCTIVITY MATH, P81

[7]

Kleene S. C., 1955, T AM MATH SOC, V79, P312, DOI DOI 10.2307/1993033

[8]

KLEENE SC, 1965, FOUNDATIONS INTUITIO

[9]

KLEENE SC, 1952, INTRODUCTION METAMAT

[10]

KLEENE SC, 1952, 1950 P INT C MATH CA, V1, P679