FORCING WITH BUSHY TREES

被引:4
|
作者
Khan, Mushfeq [1 ]
Miller, Joseph S. [2 ]
机构
[1] Univ Hawaii Manoa, Dept Math, Honolulu, HI 96822 USA
[2] Univ Wisconsin, Dept Math, Madison, WI 53706 USA
关键词
Diagonally noncomputable functions; bushy tree forcing; minimal degrees; algorithmic randomness; DIAGONALLY NONRECURSIVE FUNCTIONS;
D O I
10.1017/bsl.2017.12
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We present several results that rely on arguments involving the combinatorics of "bushy trees". These include the fact that there are arbitrarily slow-growing diagonally noncomputable (DNC) functions that compute no Kurtz random real, as well as an extension of a result of Kumabe in which we establish that there are DNC functions relative to arbitrary oracles that are of minimal Turing degree. Along the way, we survey some of the existing instances of bushy tree arguments in the literature.
引用
收藏
页码:160 / 180
页数:21
相关论文
共 50 条
  • [1] Of Snowstorms and Bushy Trees
    Ahmed, Rafi
    Sen, Rajkumar
    Poess, Meikel
    Chakkappen, Sunil
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2014, 7 (13): : 1452 - 1461
  • [2] FORCING WITH TAGGED TREES
    STEEL, J
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (07): : A627 - A628
  • [3] TOTAL FORCING SETS AND ZERO FORCING SETS IN TREES
    Davila, Randy
    Henning, Michael A.
    DISCUSSIONES MATHEMATICAE GRAPH THEORY, 2020, 40 (03) : 733 - 754
  • [4] KUREPA TREES AND NAMBA FORCING
    Koenig, Bernhard
    Yoshinobu, Yasuo
    JOURNAL OF SYMBOLIC LOGIC, 2012, 77 (04) : 1281 - 1290
  • [5] COMBINATORICS ON IDEALS AND FORCING WITH TREES
    GROSZEK, MJ
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (03) : 582 - 593
  • [6] On the Zero Forcing Number of Trees
    Oboudi, Mohammad Reza
    IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION A-SCIENCE, 2021, 45 (03): : 1065 - 1070
  • [7] On the Zero Forcing Number of Trees
    Mohammad Reza Oboudi
    Iranian Journal of Science and Technology, Transactions A: Science, 2021, 45 : 1065 - 1070
  • [8] Forcing nature: Trees in Los Angeles
    不详
    APERTURE, 2007, (187) : 86 - 86
  • [9] TOWARD A THEORY OF FORCING ON MAPS OF TREES
    BALDWIN, S
    INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 1995, 5 (05): : 1307 - 1318
  • [10] SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS
    Fuchs, Gunter
    Minden, Kaethe
    JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (03) : 1282 - 1305