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


The Settling Time Reducibility Ordering and {Delta}Formula Sets
Authors:Csima   Barbara F.
Affiliation:Department of Pure Mathematics, University of Waterloo, Waterloo, ON, Canada N2L 3G1
E-mail: csima{at}math.uwaterloo.ca
Abstract:The settling time reducibility ordering gives an ordering oncomputably enumerable sets based on their enumerations. The<st ordering is in fact an ordering on c.e. sets, since itis independent of the particular enumeration chosen. In thisarticle, we show that it is not possible to extend this orderingin an approximation-independent way to {Delta}Formula sets in general, or even to n-c.e. sets for anyfixed n ≥ 3.
Keywords:Computability theory     /math/Delta.gif"   ALT="  {Delta}"   BORDER="  0"  >  /content/vol19/issue1/fulltext/145/f1.gif"   ALT="  Formula"   BORDER="  0"  > sets   computable approximations
本文献已被 Oxford 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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