SW归约下的一些性质

来源 :南京大学 | 被引量 : 0次 | 上传用户:baofeifly
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了比较实数的随机性,引入某种归约将实数进行分类,例如Solovay规约。但是Solovay规约存在一些缺点,Downey,Dirchfeldt,Laforte提出了sw归约(stronglyweaktruthtablereducibility),并且分析了sw度的一些性质。在本文中,通过引进低可计算可枚举实数及sw-cuppable定义,进一步研究sw度向上的结构。 主要证明了如下的结果: (1)存在两个强可计算可枚举实数,对于任何强可计算可枚举实数而言不可能在sw归约意义下同时大于这两个强可计算可枚举实数。 (2)存在一个可计算可枚举实数在sw归约下大于任何强可计算可枚举实数。 (3)对于可计算可枚举实数而言,存在低的可计算可枚举实数,满足在sw归约下不小于此可计算可枚举实数。 (4)既存在满足sw-cuppable的可计算可枚举实数,也存在不满足sw-cuppable的可计算可枚举实数。 (5)既存在满足sw-cuppable的强可计算可枚举实数,也存在不满足sw-cuppable的强可计算可枚举实数.
其他文献
Cahn-Hilliard型方程是一类重要的高阶非线性扩散方程,它来源于自然界中广泛存在的扩散现象,如热力学中两相物质之间相互扩散现象,生物种群的竞争与排斥现象,河床迁移的过程,固体
近年来,对非线性微分方程边值问题的研究得到了越来越多的关注。这一问题一直是现代数学与应用数学的重要研究方向,也具有广泛的应用背景。而存在唯一性问题也是微分方程理论研
本文讨论了时滞非线性双曲型偏微分方程(1)时滞中立双曲型偏微分方程(2)时滞非线性抛物型偏微分方程(3)和时滞中立抛物型偏微分方程(4)四类方程解的振动性质.结合偏微分方程
在对于某一物种的总体数量的估计问题中,经常采用捕获再捕获的方法得到数据进行分析,从而得到关于总体的数量估计.捕获再捕获及相关模型可以大致分为两类:开放模型和封闭模型
在时间序列预报中,神经网络因为其良好的自学习与自适应能力而比一般模型更容易从复杂模式中抽象出有用的信息,事实上,现实中被观测到的大多数时间序列均表现出非平稳、非线
这是一篇与环面拓扑相关的博士学位论文,主要关注如下两个问题:(1)三维单凸多面体示性函数存在性;(2) m-gon上Moment-Angle流形的Partial-商的分类.  1991年,Davis和Januszki
本文主要讨论了含源项的浅水波方程组,“good”Boussinesq方程,以及Cahn-Hilliard方程的数值计算方法.具体如下: 首先,本文研究了在一个孤立障碍物上方的一维不可压缩、无粘性
论文题目:非交换4p阶群的4度弧传递Cayley图的分类导师:徐明曜教授该文的主要工作是对于4p(其中p是素数)阶非交换群4度Cayley图的对称性的研究.4p阶非交换群依p的不同种类不
该文主要研究差集,阵列码及其一些应用.首先,对具有典型参数的循环差集的一些基本性质,构造方法,存在性等相关问题得到了一些结果.由具有典型参数的循环差集可以构造具有好的
2010年3月26日上午,兖矿“天地人和”责任文化启动新闻发布会在济南市山东大厦举行,这标志着兖矿集团企业文化建设经过多年探索实践终于形成了完善的体系,进入深 On the mor