DECIDABLE SUBSPACES AND RECURSIVELY-ENUMERABLE SUBSPACES

被引：12

作者：

ASH, CJ ^{[1
]}

DOWNEY, RG ^{[1
]}

机构：

[1] NATL UNIV SINGAPORE,SINGAPORE 0511,SINGAPORE

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 04期

关键词：

D O I：

10.2307/2274266

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1137 / 1145

页数：9

共 17 条

[1]

Baldwin JT, 1982, PATRAS LOGIC S, P67

[2] COUNTABLE VECTOR SPACES WITH RECURSIVE OPERATIONS .I. [J].

DEKKER, JCE .

JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) :363-&

[3]

DOWNEY R, 1983, Z MATH LOGIK, V29, P379

[4] CO-IMMUNE SUBSPACES AND COMPLEMENTATION IN V-INFINITY [J].

DOWNEY, R .

JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) :528-538

[5] NOWHERE SIMPLICITY IN MATROIDS [J].

DOWNEY, R .

JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1983, 35 (AUG) :28-45

[6] THE UNIVERSAL COMPLEMENTATION PROPERTY [J].

DOWNEY, RG ;

REMMEL, JB .

JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) :1125-1136

[7] MAXIMAL VECTOR-SPACES UNDER AUTOMORPHISMS OF LATTICE OF RECURSIVELY ENUMERABLE VECTOR-SPACES [J].

KALANTARI, I ;

RETZLAFF, A .

JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (04) :481-491

[8] MITOTIC RECURSIVELY ENUMERABLE SETS [J].

LADNER, RE .

JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) :199-211

[9]

LERMAN M, 1982, LOG C 80, P181

[10] RECURSION-THEORY ON FIELDS AND ABSTRACT DEPENDENCE [J].

METAKIDES, G ;

NERODE, A .

JOURNAL OF ALGEBRA, 1980, 65 (01) :36-59

← 1 2 →