On the forms of the predicates in the theory of constructive ordinals

被引：17

作者：

Kleene, SC

机构：

来源：

关键词：

D O I：

10.2307/2371894

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：41 / 58

页数：18

共 14 条

[1]

CHURCH, 1936, FUNDAMENTA MATH, V28, P11

[2] An unsolvable problem of elementary number theory [J].

Church, A .

[3]

Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692

[4]

HILBERT, 1934, BRUNDLAGEN MATH, V1

[5]

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

[6] Recursive predicates and quantifiers [J].

Kleene, S. C. .

[7]

Kleene S.C, 1936, B AM MATH SOC, V42, P544

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

Kleene, SC .

[9]

KLEENE SC, 1942, B AM MATH SOC, V48, P51

[10]

NELSON D, UNPUB RECURSIVE FUNC