DIAGONALLY NON-COMPUTABLE FUNCTIONS AND BI-IMMUNITY

被引：7
|
作者：
Jockusch, Carl G., Jr. [1 ]
Lewis, Andrew E. M. [2 ]
机构：
[1] Univ Illinois, Urbana, IL 61801 USA
[2] Univ Leeds, Sch Math, Leeds LS2 9JT, W Yorkshire, England
来源：
JOURNAL OF SYMBOLIC LOGIC | 2013年 / 78卷 / 03期
关键词：
SETS;
D O I：
10.2178/jsl.7803150
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We prove that every diagonally noncomputable function computes a set A which is bi-immune, meaning that neither A nor its complement has an infinite computably enumerable subset.
引用
收藏
页码：977 / 988
页数：12
相关论文
共 50 条
  • [1] Diagonally non-computable functions and fireworks
    Bienvenu, Laurent
    Patey, Ludovic
    INFORMATION AND COMPUTATION, 2017, 253 : 64 - 77
  • [2] Joining non-low CE sets with diagonally non-computable functions
    Bienvenu, Laurent
    Greenberg, Noam
    Kucera, Antonin
    Miller, Joseph S.
    Nies, Andre
    Turetsky, Dan
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (06) : 1183 - 1194
  • [3] ON NON-COMPUTABLE FUNCTIONS
    RADO, T
    BELL SYSTEM TECHNICAL JOURNAL, 1962, 41 (03): : 877 - +
  • [4] Absolutely non-computable predicates and functions in analysis
    Weihraucht, Klaus
    Wu, Yongcheng
    Ding, Decheng
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (01) : 59 - 71
  • [5] Simple section interchange and properties of non-computable functions
    Maurer, Ward Douglas
    SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (11) : 1142 - 1164
  • [6] Computing the non-computable
    Kieu, TD
    CONTEMPORARY PHYSICS, 2003, 44 (01) : 51 - 71
  • [7] RANDOMNESS FOR NON-COMPUTABLE MEASURES
    Day, Adam R.
    Miller, Joseph S.
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2013, 365 (07) : 3575 - 3591
  • [8] Non-computable Julia sets
    Braverman, M.
    Yampolsky, M.
    JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY, 2006, 19 (03) : 551 - 578
  • [9] Formally Computing with the Non-computable
    Cohen, Liron
    CONNECTING WITH COMPUTABILITY, 2021, 12813 : 135 - 145
  • [10] Effective Bi-immunity and Randomness
    Beros, Achilles A.
    Khan, Mushfeq
    Kjos-Hanssen, Bjorn
    COMPUTABILITY AND COMPLEXITY: ESSAYS DEDICATED TO RODNEY G. DOWNEY ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10010 : 633 - 643
12345