RECURSION-THEORY ON FIELDS AND ABSTRACT DEPENDENCE

被引：32

作者：

METAKIDES, G

NERODE, A

机构：

来源：

关键词：

D O I：

10.1016/0021-8693(80)90237-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：36 / 59

页数：24

共 17 条

[1]

COHN PM, 1965, UNIVERSAL ALGEBRA

[2]

CROSSLEY JN, 1977, J ALGEBRA, V41, P398

[3]

CROSSLEY JN, 1974, COMBINATORIAL FUNCTO

[4]

Frohlich A., 1955, MATH Z, V62, P331

[5]

Hodge W. V. D., 1947, METHODS ALGEBRAIC GE, VI

[6] MAJOR SUBSPACES OF RECURSIVELY ENUMERABLE VECTOR-SPACES [J].

KALANTARI, I .

KALANTARI, I ;

RETZLAFF, A .

[8]

Metakides G., 1979, ANN MATH LOGIC, V17, P289

[9]

Metakides G., 1977, ANN MATH LOG, V11, P147

[10] R-MAXIMAL VECTOR-SPACE NOT CONTAINED IN ANY MAXIMAL VECTOR-SPACE [J].

REMMEL, J .