MITOTIC RECURSIVELY ENUMERABLE SETS

被引：56

作者：

LADNER, RE

机构：

[1] SIMON FRASER UNIV,BURNABY 2,BRITISH COLUMBI,CANADA

[2] UNIV CALIF,BERKELEY,CA 94720

来源：

关键词：

D O I：

10.2307/2272056

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：199 / 211

页数：13

共 10 条

[1]

Friedberg R., 1957, J SYMBOLIC LOGIC, V22, P159

[2]

Friedberg R.M., 1958, J SYMBOLIC LOGIC, V23, P309, DOI [10.2307/2964290, DOI 10.2307/2964290]

[3] PRIORITY METHOD .I. [J].

LACHLAN, AH .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1967, 13 (01) :1-&

[4]

LADNER R, TO BE PUBLISHED

[5]

Rogers Jr. H., 1967, MCGRAW HILL SERIES H

[6]

SACKS GE, 1963, ANN MATHEMATICS STUD

[7]

SACKS GE, 1964, MICHIGAN MATHEMATICA, V2, P193

[8]

SHOENFIELD JR, 1971, 2 N HOLL MATH STUD

[9]

Trakhtenbrot B., 1970, SOV MATH DOKL, V11, P814

[10] 3 THEOREMS ON DEGREES OF RECURSIVELY ENUMERABLE SETS [J].

YATES, CEM .