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 条

[41] SOME REMARKS ON A THEOREM OF KALANTARI,IRAJ CONCERNING CONVEXITY AND RECURSION-THEORY
DOWNEY, R
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (04): : 295 - 302
[42] ABSTRACT RECURSION AS A FOUNDATION FOR THE THEORY OF ALGORITHMS
MOSCHOVAKIS, YN
LECTURE NOTES IN MATHEMATICS, 1984, 1104 : 289 - 364
[43] GENERIC OBJECTS IN RECURSION-THEORY .2. OPERATIONS ON RECURSIVE APPROXIMATION SPACES
NERODE, A
REMMEL, JB
ANNALS OF PURE AND APPLIED LOGIC, 1986, 31 (2-3) : 257 - 288
[44] AN EASY THEOREM OF CLASSICAL RECURSION-THEORY WHICH FAILS IN ALPHA-RECURSION THEORY FOR ALL ALPHA-GREATER-THAN-OMEGA
DIETZFELBINGER, M
MAASS, W
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 840 - 840
[45] BASIC RECURSION-THEORY IN PARTIALLY ORDERED MODELS OF SOME FRAGMENTS OF THE COMBINATORY-LOGIC
ZASHEV, JA
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1984, 37 (05): : 561 - 564
[46] 1-GENERIC DEGREES AND MINIMAL DEGREES IN HIGHER RECURSION-THEORY .2.
CHONG, CT
ANNALS OF PURE AND APPLIED LOGIC, 1986, 31 (2-3) : 165 - 175
[47] A COUNTABLE BASIS FOR SIGMA-2(1) SETS AND RECURSION-THEORY ON-CHI
MAASS, W
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 82 (02) : 267 - 270
[48] ON CHURCH FORMAL THEORY OF FUNCTIONS AND FUNCTIONALS - THE LAMBDA-CALCULUS - CONNECTIONS TO HIGHER TYPE RECURSION-THEORY, PROOF THEORY, CATEGORY THEORY
LONGO, G
ANNALS OF PURE AND APPLIED LOGIC, 1988, 40 (02) : 93 - 133
[49] Primitive recursion in the abstract
Leivant, Daniel
Marion, Jean-Yves
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (01) : 33 - 43
[50] TEST OF RECURSION-THEORY OF LOCALIZATION - NUMERICAL EVIDENCE OF A PHASE-TRANSITION IN DISORDERED 2-DIMENSIONAL POTENTIALS
GODIN, TJ
HAYDOCK, R
EUROPHYSICS LETTERS, 1991, 14 (02): : 137 - 143

← 1 2 3 4 5 →