DEFINABILITY BY TURING MACHINES

被引：0
|
作者：
BAER, RM
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1969年 / 15卷 / 04期
关键词：
D O I：
10.1002/malq.19690152002
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：325 / &
相关论文
共 50 条
  • [1] DEFINABILITY IN THE TURING DEGREES
    SLAMAN, TA
    WOODIN, WH
    [J]. ILLINOIS JOURNAL OF MATHEMATICS, 1986, 30 (02) : 320 - 334
  • [2] Turing definability in the Ershov hierarchy
    Cooper, SB
    Li, A
    [J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2002, 66 : 513 - 528
  • [3] Discontinuous phenomena and turing definability
    Cooper, SB
    [J]. ALGEBRA AND ANALYSIS, 1996, : 41 - 55
  • [4] THE Δ20 TURING DEGREES: AUTOMORPHISMS AND DEFINABILITY
    Slaman, Theodore A.
    Soskova, Mariya I.
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2018, 370 (02) : 1351 - 1375
  • [5] Definability in the local structure of the ω-Turing degrees
    Ganchev, Hristo
    Sariev, Andrey C.
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2019, 29 (07) : 927 - 937
  • [6] The search for natural definability in the Turing degrees
    Lewis-Pye, Andrew E. M.
    [J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2018, 7 (2-3): : 189 - 235
  • [7] Universality for Turing Machines, Inductive Turing Machines and Evolutionary Algorithms
    Burgin, Mark
    Eberbach, Eugene
    [J]. FUNDAMENTA INFORMATICAE, 2009, 91 (01) : 53 - 77
  • [8] Alan Turing, Turing Machines and Stronger
    Gams, Matjaz
    [J]. INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2013, 37 (01): : 9 - 14
  • [9] Turing Machines as Conscious Computing Machines
    Krol, Jerzy
    Schumann, Andrew
    [J]. INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, 2024, 802 : 400 - 410
  • [10] TURING-MACHINES
    HOPCROFT, JE
    [J]. SCIENTIFIC AMERICAN, 1984, 250 (05) : 86 - &
12345