COMPUTING DEGREES OF UNSOLVABILITY

被引：18

作者：

ROGERS, H

机构：

来源：

关键词：

D O I：

10.1007/BF01342939

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：125 / 140

页数：16

共 16 条

[1]

[Anonymous], 1956, J SYMBOLIC LOGIC, V21, P162

[2]

Davis M., 1958, COMPUTABILITY UNSOLV

[3] A THEOREM ON HYPERSIMPLE SETS [J].

DEKKER, JCE .

[4]

FRIEDBERG R, 1959, Z MATH LOG, V5

FRIEDBERG, RM .

[6] Recursive predicates and quantifiers [J].

Kleene, S. C. .

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

KLEENE, SC ;

POST, EL .

[8]

MOSTOWSKI A, 1955, FUND MATH, V42, P259

[9]

Mostowski A., 1947, FUND MATH, V34, P81

[10]

Myhill J., 1955, Z MATH LOGIK, V1, P97, DOI DOI 10.1002/MALQ.19550010205