RECURSION-THEORY ON FIELDS AND ABSTRACT DEPENDENCE

被引：32

|

作者：

METAKIDES, G

NERODE, A

机构：

来源：

JOURNAL OF ALGEBRA | 1980年 / 65卷 / 01期

关键词：

D O I：

10.1016/0021-8693(80)90237-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：36 / 59

页数：24

相关论文

共 50 条

[31] DOMINICAL CATEGORIES - RECURSION-THEORY WITHOUT ELEMENTS
DIPAOLA, RA
HELLER, A
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (03) : 594 - 635
[32] A CONNECTION BETWEEN RECURSION-THEORY AND CONSTRUCTIVE MATHEMATICS
KUCERA, A
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 439 - 440
[33] SYNTAX AND SEMANTICS IN HIGHER-TYPE RECURSION-THEORY
KIERSTEAD, DP
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1983, 276 (01) : 67 - 105
[34] TREE ARGUMENTS IN RECURSION-THEORY AND THE O'''-PRIORITY METHOD
SOARE, RI
PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1985, 42 : 53 - 106
[35] CANONICAL-FORMS AND HIERARCHIES IN GENERALIZED RECURSION-THEORY
KOLAITIS, PG
PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1985, 42 : 139 - 170
[36] A RECURSION-THEORY STUDY OF THE ELECTRONIC-STRUCTURE OF METALLIC SUPERLATTICES
XU, Y
MA, HR
TSAI, CH
COMMUNICATIONS IN THEORETICAL PHYSICS, 1986, 5 (02) : 173 - 177
[37] RECURSION-THEORY ON STRONGLY SIGMA-2 INADMISSIBLE ORDINALS
CHONG, CT
LECTURE NOTES IN MATHEMATICS, 1985, 1141 : 49 - 64
[38] SELECTION IN ABSTRACT RECURSION THEORY
HARRINGTON, LA
MACQUEEN, DB
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 153 - 158
[39] SOME REFLECTIONS ON THE FOUNDATIONS OF ORDINARY RECURSION-THEORY AND A NEW PROPOSAL
TOURLAKIS, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (06): : 503 - 515
[40] THE HEREDITARY PARTIAL EFFECTIVE FUNCTIONALS AND RECURSION-THEORY IN HIGHER TYPES
LONGO, G
MOGGI, E
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1319 - 1332

← 1 2 3 4 5 →