Completeness Criteria for a Class of Reducibilities

被引：1

作者：

Arslanov, M. M. ^{[1
]}

机构：

[1] Kazan Fed Univ, Sci & Educ Math Ctr Volga Fed Dist, Kazan 420008, Russia

来源：

RUSSIAN MATHEMATICS | 2022年 / 66卷 / 10期

基金：

俄罗斯科学基金会;

关键词：

Turing reducibility; m-reducibility; tt-reducibility; Q-reducibility; fixed points of the function; completeness criterion;

D O I：

10.3103/S1066369X22100012

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper we consider the completeness criteria for a class of sub-Turing reducibilities.

引用

页码：62 / 66

页数：5

共 50 条

[21] Completeness theorem for topological class models
Djordjevic, Radosav
Ikodinovic, Nebojsa
Mijajlovic, Zarko
ARCHIVE FOR MATHEMATICAL LOGIC, 2007, 46 (01) : 1 - 8
[22] Completeness theorem for topological class models
Radosav Djordjevic
Nebojša Ikodinović
Žarko Mijajlović
Archive for Mathematical Logic, 2007, 46 : 1 - 8
[23] FUNCTIONAL COMPLETENESS IN THE CLASS OF SEMIMODULAR CIRCUITS
VARSHAVSKIY, VI
KISHINEVSKIY, MA
MARAKHOVSKIY, VB
ROZENBLYUM, LY
SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1985, 23 (06): : 70 - 80
[24] COMPLETENESS OF THE CLASS OF ADMISSIBLE DECISION PROCEDURES
RUBIN, H
ANNALS OF MATHEMATICAL STATISTICS, 1952, 23 (01): : 147 - 147
[25] Intrinsic reducibilities
McNicholl, TH
MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (03) : 393 - 407
[26] Criteria of completeness of generalized eigenvectors of a class of compact or compact-resolvent non-self-adjoint operators and applications
Aimar, MT
Intissar, A
Paoli, JM
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 1996, 32 (02) : 191 - 205
[27] On sparseness, reducibilities, and complexity
Cucker, F
ANNALS OF PURE AND APPLIED LOGIC, 2005, 134 (01) : 53 - 61
[28] MAXIMAL ARITHMETICAL REDUCIBILITIES
CASE, J
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (03): : 261 - 270
[29] ARITHMETICAL REDUCIBILITIES II
SELMAN, AL
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (01): : 83 - &
[30] A test sequence generation scheme satisfying the completeness criteria
Son, H
Nyang, D
Park, J
Lim, S
Chin, B
Lee, J
Song, J
1997 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS 1 AND 2: PACRIM 10 YEARS - 1987-1997, 1997, : 560 - 563

← 1 2 3 4 5 →