首页> 外文会议>Conference on Computability in Europe >A C.E. Weak Truth Table Degree Which Is Array Noncomputable and R-maximal
【24h】

A C.E. Weak Truth Table Degree Which Is Array Noncomputable and R-maximal

机译:a c.e.弱实物表学位,阵列是非象颠和r-maximal的

获取原文

摘要

In 1990, Downey, Jockusch and Stob introduced array non-computable sets which capture certain multiple permitting arguments. They completely characterize the simplicity notions which are compatible with array noncomputability. Here we generalize this question and ask for which simplicity properties P there exist c.e. wtt-degrees that contain both sets with property P and array noncomputable sets. By showing that there exists an r-maximal set which is wtt-equivalent to an array noncomputable set we obtain a complete answer to this question for the standard simplicity notions.
机译:1990年,唐尼,Jockusch和Stob引入了阵列不可计算的集,捕获某些多个允许参数。它们完全表征了与阵列非识别性兼容的简单概念。在这里,我们概括了这个问题,并要求存在哪种简单性质p.e。 wtt-degue包含具有属性p和阵列非象颠集装的两个集合。通过示出存在一个R-Maximal集合,它是相当于阵列不象颠的集合,我们获得了对标准简单概念的本问题的完整答案。

著录项

相似文献

  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号