GENERALIZATIONS OF THE RECURSION THEOREM

被引：7

作者：

Terwijn, Sebastiaan A. ^{[1
]}

机构：

[1] Radboud Univ Nijmegen, Dept Math, POB 9010, NL-6500 GL Nijmegen, Netherlands

来源：

JOURNAL OF SYMBOLIC LOGIC | 2018年 / 83卷 / 04期

关键词：

recursion theorem; ADN theorem; Arslanov completeness criterion;

D O I：

10.1017/jsl.2018.52

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We consider two generalizations of the recursion theorem, namely Visser's ADN theorem and Arslanov's completeness criterion, and we prove a joint generalization of these theorems.

引用

页码：1683 / 1690

页数：8

共 50 条

[1] DIAGONALIZATION AND RECURSION THEOREM
OWINGS, JC
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (07): : 1087 - &
[2] Generalizations to the Track-Oriented MHT Recursion
Coraluppi, Stefano
Carthel, Craig
2015 18TH INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION), 2015, : 346 - 350
[3] COMPARISONS BETWEEN SOME GENERALIZATIONS OF RECURSION THEORY
GORDON, CE
COMPOSITIO MATHEMATICA, 1970, 22 (03) : 333 - &
[4] GENERALIZATIONS OF THE BORSUK THEOREM
DING, WY
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1985, 110 (02) : 553 - 567
[5] GENERALIZATIONS OF FARKAS THEOREM
CRAVEN, BD
KOLIHA, JJ
SIAM JOURNAL ON MATHEMATICAL ANALYSIS, 1977, 8 (06) : 983 - 997
[6] GENERALIZATIONS OF LASNEVS THEOREM
CHABER, J
FUNDAMENTA MATHEMATICAE, 1983, 119 (02) : 85 - 91
[7] GENERALIZATIONS OF SEVERIS THEOREM
SHAFII, MN
MATHEMATICAL NOTES, 1979, 26 (5-6) : 836 - 838
[8] Generalizations of the Liouville theorem
Ranjbar-Motlagh, Alireza
DIFFERENTIAL GEOMETRY AND ITS APPLICATIONS, 2008, 26 (03) : 339 - 345
[9] GENERALIZATIONS OF A THEOREM OF NAMIOKA
STEGALL, C
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1988, 102 (03) : 559 - 564
[10] ON A THEOREM OF EDELSTEIN AND GENERALIZATIONS
SIGILLIT.VG
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 778 - &

← 1 2 3 4 5 →