Computable Embeddings of Classes of Structures Under Enumeration and Turing Operators

被引：5
|
作者：
Kalimullin I.S. [1 ]
机构：
[1] N.I. Lobachevskii Institute of Mathematics and Mechanics, Kazan (Volga Region) Federal University, ul. Kremlevskaya 18, Kazan, Tatarstan
来源：
Lobachevskii Journal of Mathematics | 2018年 / 39卷 / 1期
关键词：
elementary theories; enumeration degrees; Erhsov’s hierarchy; structural properties; Turing degrees;
D O I：
10.1134/S1995080218010146
中图分类号：
学科分类号：
摘要：
In the paper we study the differences and partial characterizations of the Turing and enumeration computable embeddings of classes of structures. © 2018, Pleiades Publishing, Ltd.
引用
收藏
页码：84 / 88
页数：4
相关论文
共 30 条
  • [1] Turing computable embeddings
    Knight, Julia F.
    Miller, Sara
    Boom, M. Vanden
    JOURNAL OF SYMBOLIC LOGIC, 2007, 72 (03) : 901 - 918
  • [2] Turing Computable Embeddings, Computable Infinitary Equivalence, and Linear Orders
    Bazhenov, Nikolay
    UNVEILING DYNAMICS AND COMPLEXITY, CIE 2017, 2017, 10307 : 141 - 151
  • [3] Embeddings of Computable Structures
    Kach, Asher M.
    Levin, Oscar
    Solomon, Reed
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (01) : 55 - 68
  • [4] TURING COMPUTABLE EMBEDDINGS OF EQUIVALENCES OTHER THAN ISOMORPHISM
    Wright, Matthew
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2014, 142 (05) : 1795 - 1811
  • [5] Closure properties of real number classes under limits and computable operators
    Zheng, XZ
    COMPUTING AND COMBINATORICS, PROCEEDINGS, 2000, 1858 : 170 - 179
  • [6] Turing degrees of hypersimple relations on computable structures
    Harizanov, VS
    ANNALS OF PURE AND APPLIED LOGIC, 2003, 121 (2-3) : 209 - 226
  • [7] Equivalence Relations on Classes of Computable Structures
    Fokina, Ekaterina B.
    Friedman, Sy-David
    MATHEMATICAL THEORY AND COMPUTATIONAL PRACTICE, 2009, 5635 : 198 - 207
  • [8] On the isomorphism problem for some classes of computable algebraic structures
    Valentina S. Harizanov
    Steffen Lempp
    Charles F. D. McCoy
    Andrei S. Morozov
    Reed Solomon
    Archive for Mathematical Logic, 2022, 61 : 813 - 825
  • [9] On the isomorphism problem for some classes of computable algebraic structures
    Harizanov, Valentina S.
    Lempp, Steffen
    McCoy, Charles F. D.
    Morozov, Andrei S.
    Solomon, Reed
    ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (5-6) : 813 - 825
  • [10] Computable Embedding of Classes of Algebraic Structures with Congruence Relation
    Vatev, S.
    Ganchev, H.
    Kalimullin, L. Sh
    UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA-SERIYA FIZIKO-MATEMATICHESKIE NAUKI, 2018, 160 (04): : 731 - 737
123