首页 | 本学科首页   官方微博 | 高级检索  
     检索      


On strongly jump traceable reals
Authors:Keng Meng Ng  
Institution:

aSchool of Mathematics, Statistics and Computer Science, Victoria University of Wellington, PO Box 600, Wellington, New Zealand

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 View the MathML source-complete.
Keywords:Strongly jump traceable  Completeness  Minimal bound
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号