On a General Method of Constructing Post Reducibilities and the Corresponding Completeness Criteria

被引：1
|
作者：
Arslanov, M. M. [1 ]
机构：
[1] Kazan Volga Reg Fed Univ, NI Lobachevskii Inst Math & Mech, Kazan 420008, Tatarstan, Russia
来源：
LOBACHEVSKII JOURNAL OF MATHEMATICS | 2022年 / 43卷 / 12期
基金：
俄罗斯科学基金会;
关键词：
turing reducibility; m-reducibility; tt-reducibility; Q-reducibility; fixed points of the function; completeness criterion;
D O I：
10.1134/S1995080222150057
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In computability theory the most common form of reducibility is Turing reducibility. Earlier, the author found necessary and sufficient conditions for the completeness of computably enumerable sets for this reducibility. Later, this criterion was generalized by various authors to new classes of functions, and also investigated for some of the most important reducibilities, stronger than Turing reducibility. In this paper, we discuss one general method for constructing similar criteria for a wide class of reducibility.
引用
收藏
页码：3430 / 3434
页数：5
相关论文
共 50 条
  • [1] On a General Method of Constructing Post Reducibilities and the Corresponding Completeness Criteria
    M. M. Arslanov
    Lobachevskii Journal of Mathematics, 2022, 43 : 3430 - 3434
  • [2] Completeness Criteria for a Class of Reducibilities
    M. M. Arslanov
    Russian Mathematics, 2022, 66 : 62 - 66
  • [3] Completeness Criteria for a Class of Reducibilities
    Arslanov, M. M.
    RUSSIAN MATHEMATICS, 2022, 66 (10) : 62 - 66
  • [4] A Method of Constructing Impossible Differential Distinguishers Based on Completeness
    Li Junzhi
    Guan Jie
    JOURNAL OF ELECTRONICS & INFORMATION TECHNOLOGY, 2018, 40 (02) : 430 - 437
  • [5] General method of constructing entanglement witness
    Yang Ying
    Cao Huai-Xin
    ACTA PHYSICA SINICA, 2018, 67 (07)
  • [6] A METHOD OF CONSTRUCTING A REVISED GENERAL CATALOGUE
    BROUWER, D
    ASTRONOMICAL JOURNAL, 1960, 65 (04): : 186 - 189
  • [7] A general method for constructing essential uniform algebras
    Feinstein, J. F.
    Izzo, Alexander J.
    STUDIA MATHEMATICA, 2019, 246 (01) : 47 - 61
  • [8] A General Method for Constructing Planar Cognate Mechanisms
    Sherman, Samantha N.
    Hauenstein, Jonathan D.
    Wampler, Charles W.
    JOURNAL OF MECHANISMS AND ROBOTICS-TRANSACTIONS OF THE ASME, 2021, 13 (03):
  • [9] A GENERAL-METHOD OF CONSTRUCTING MULTIVALUED FUNCTIONALS
    SAVITSKAYA, TN
    VERGELES, SN
    LETTERS IN MATHEMATICAL PHYSICS, 1987, 13 (01) : 35 - 40
  • [10] A general method for constructing Timoshenko-type theories
    Zveryayev, Ye. M.
    Makarov, G. I.
    PMM JOURNAL OF APPLIED MATHEMATICS AND MECHANICS, 2008, 72 (02): : 197 - 207
12345