• Title of article

    On strongly jump traceable reals

  • Author/Authors

    Ng، نويسنده , , Keng Meng، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2008
  • Pages
    19
  • From page
    51
  • To page
    69
  • Abstract
    In this paper we show that there is no minimal bound for jump traceability. In particular, there is no single order function such that strong jump traceability is equivalent to jump traceability for that order. The uniformity of the proof method allows us to adapt the technique to showing that the index set of the c.e. strongly jump traceables is Π 4 0 -complete.
  • Keywords
    Minimal bound , Completeness , Strongly jump traceable
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    2008
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    1444241