递归可枚举度的强分解定理

来源 :数学学报 | 被引量 : 0次 | 上传用户:Jingle2008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文将证明,对任 r.e.度(?),存在 r.e.度(?),(?),(?),和(?)使得(?)<(?),(?)<(?),(?)<(?)≤(?),(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?),如果(?),那么(?)∩(?).这结果的一个立即推论是,对任 r.e.度(?),存在(?)<(?)使[(?)]中一切(?)-cappable 度不作成理想.同时可推出:对任 r.e.度(?),存在 r.e.度(?),(?)和(?)使得(?)∪(?)=(?),(?)∩(?
其他文献
本文证明了当Banach空间X是序列弱完备的且具有Radon-Nikodym性质时,Bochner可积函数空间Lp(μ,X)也是序列弱完备的。并且在一定条件下,其逆命题也成立。
本文给出Galois环R上的基本不可约多项式f(x)的根的具体表达式和其阶的联系;由此,对本原多项式和次本原多项式分别推导出代数判别式,其主要部分分别由f(x)modp和f(x)mdop^2的系数所确定。
本文首先在临界状态下建立了一阶非线性非自治时滞微分方程x’(t)+∑i=1^mpix(t-ti)+f(t,x(t-σ1(t),…x(t-σn(t)=0与一个相关的二阶常微分方程振动性等价定理,进面给出了一价非线性自治微分方程(x’(t)+∑i=1^mpifi(x(t-ti))=0与相应的线性方程x‘(t)+∑
本文研究了套代数理想中有限秩算子的性质,然后用这些性质去刻划理想。
2013年11月13日 晴  说起我的弟弟,他可是个地地道道的调皮鬼,就是爸爸,妈妈也总是拿他没有办法。  去年暑假的某一天,我和弟弟正在楼上大厅玩耍,突然爸爸出现在我们面前,大喊道:“你们在干什么?还不快去做作业。”我们听了爸爸的话,立刻以蜗牛般的速度移进各自的房间。爸爸的声音很有力量,我们极不情愿,但又不得不听。  爸爸见我们已经回房间去做作业了,于是就走下楼去。哪知弟弟一直观察着爸爸的一举一
本文讨论具非光滑特征的二阶椭圆偏微分算子Cauchy问题的唯一性。借用测不准原理的思想,通过将方程的解的精细微局部分解,把唯一性证明中最关键的Carleman估计在微局部的层次展开,从而可以在相
万丈高楼从地起,千层金塔石奠基;  小康先要摘贫帽,高举扶贫攻坚旗。  中央吹响进军号,全民行动志气高;  打响扶贫攻坚战,捷报频传涌春潮。  瑶山锡都依云贵,山高土少地不肥;  白裤瑶民居山里,生活清苦常断炊。  深入调查体民情,扶贫精准细划分;  千年贫困得医治,对症下药除病根。  全民幸福首安居,水电路通家电齐;  若是危房帮改造,居住偏远助搬移。  千户瑶寨正兴建,万众瑶民欲搬迁;  今年
本文综合运用三种迭代方法证明了方程c1x1^6+c2x2^6+…c8x8^6=0当s取最小可能的值37时有非零解,并给出了解的一个上界估计,这在变量个数方面改进了J.Pitman的结果。
本文在文献提出的多变量拟协调元和罚函数相结合的方法基础上构造了考慮耦合和剪切效应的十五自由度三角形层合板单元。此单元适用于薄和中厚层合板的强度分析,具有收敛和应
冰核活性微生物对昆虫耐寒性的影响马巨法,胡国文程家安(中国水稻研究所杭州310006)(浙江农业大学)Angell在1982年报道,纯净小水滴在—10~—20℃不能结冰,有时在—39℃时亦不结冰。Franks(1985)认为在生物体中常有异源催