论文部分内容阅读
本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.
SW规约下的一些性质
【摘 要】
：
本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.
【机 构】
：
东南大学数学系,南京大学数学系
【出 处】
：
南京大学学报：数学半年刊
【发表日期】
：
2005年2期
【基金项目】
：
中国科学院资助项目
其他文献
本文对线性和非线性纵向数据模型进行Bayes统计诊断,其中包括对数据删除模型（CDM）和均值漂移模型（MOSM）诊断.当MSOM中的漂移参数服从无信息先验（不管其余参数服从何种先验分布）,且
本文试图以弗协调模态逻辑CnG′为基础，建立一种弗协调认知逻辑CnEK．
出于语言学的动机，给出著名的Lambek逻辑L的一个扩充L^nom．在L^nom中，引入名词化的公理与规则．系统L^nom关于修正幂集剩余半群语义是可靠和完全的．
通过活动标架法，研究了复射影空间中具有常数量曲率的全实子流形，得到其成为全脐子流形的刚性定理，并推广了相关结果．
本文主要给出了R-Smash积A#_RB成为弱双代数和弱Hopf代数的充分必要条件.
设R是任意带单位元的结合环。如所周知，任意右乘法模是拓扑模。本文证明：右强duo环上的任一有限生成的右R模-M是拓扑模当且仅当它是乘法模。此外，几个已知的交换环上关于乘法模
本文通过适当的坐标变换将碰撞振子的相平面转变为全平面,应用Poincare-Birkhoff扭转定理证明了渐近线性碰撞振子的无穷多弹性周期解的存在性,从而推广了已有的结果.
Borg定理是判定周期系数二阶线性微分方程稳定的一个重要工具,本文在弱的限制下改进Borg定理.
周期系数二阶线性方程的稳定性由其特征指数确定，本文给出一种由系数直接估计特征指数的方法，简单且实用．