ON LATTICE OF RECURSIVELY ENUMERABLE SETS

被引：101

作者：

LACHLAN, AH

机构：

来源：

关键词：

D O I：

10.2307/1994768

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1 / &

共 11 条

[1]

Davis M., 1958, COMPUTABILITY UNSOLV

[2]

ERSHOV JL, 1964, ALGEBRA LOGIKA SEM, V3, P17

[3]

Friedberg R. M., 1958, B ACAD POL SCI, V6, P1

[4]

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

MARTIN, DA .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04) :295-&

[6]

MARTIN DA, 1963, J SYMBOLIC LOGIC, V28, P273

[7]

MYHILL J, 1963, MATH REVIEWS, V26, P691

[8]

Post E.L., 1944, B AM MATH SOC, V50, P284, DOI [DOI 10.1090/S0002-9904-1944-08111-1, 10.1090/S0002-9904-1944-08111-1]

[9]

ROBINSON A, 1963, INTRODUCTION MODEL T

[10]

Yates C. E. M., 1962, Z MATH LOGIK GRUNDLA, V8, P331