ON THE FORMS OF THE PREDICATES IN THE THEORY OF CONSTRUCTIVE ORDINALS .2.

被引：60

作者：

KLEENE, SC

机构：

来源：

关键词：

D O I：

10.2307/2372632

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：405 / 428

页数：24

共 19 条

[1] The domains of functions [J].

Brouwer, LEJ .

[2]

Brouwer LEJ, 1924, P K AKAD WET-AMSTERD, V27, P189

[3]

CHURCH A, 1936, FUND MATH, V28, P11

[4]

Church A., 1938, B AM MATH SOC, V44, P224, DOI DOI 10.1090/S0002-9904-1938-06720-1

[5]

Hilbert D., 1939, GRUNDLAGEN MATH, VII

[6]

Kalmar L., 1943, MATE ES FIZIKAI LAPO, V50, P1

[7]

Kleene S., 1938, J SYMBOL LOGIC, V3, P150, DOI DOI 10.2307/2267778

[8] Recursive predicates and quantifiers [J].

Kleene, S. C. .

[9] General recursive functions of natural numbers [J].

Kleene, SC .

[10] THE UPPER SEMI-LATTICE OF DEGREES OF RECURSIVE UNSOLVABILITY [J].

KLEENE, SC ;

POST, EL .