THE UPPER SEMI-LATTICE OF DEGREES OF RECURSIVE UNSOLVABILITY

被引：130

作者：

KLEENE, SC

POST, EL

机构：

来源：

关键词：

D O I：

10.2307/1969708

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：379 / 407

页数：29

共 21 条

[1]

BIRKHOFF G, 1948, AM MATH SOC C SERIES, V25

[2]

Cantor G., 1895, MATH ANN, V46, P481, DOI [10.1007/BF02124929, DOI 10.1007/BF02124929]

[3]

Cantor Georg, 1897, MATH ANN, V49, P207

[4]

CHURCH A, 1936, FUND MATH, V28, P11

[5]

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

[6]

Davis M, 1950, THESIS PRINCETON U

[7]

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

[8] Recursive predicates and quantifiers [J].

Kleene, S. C. .

Kleene, SC .

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

Kleene, SC .