论文部分内容阅读
利用理论的代数素模型和简单闭性质，我们给出了完全k（k〈ω）-叉树理论和完全无穷叉树理论可量词消去的新的证明，很大程度上简化了原有证明．
完全分叉树理论可量词消去的新证明
【摘 要】
：
利用理论的代数素模型和简单闭性质，我们给出了完全k（k〈ω）-叉树理论和完全无穷叉树理论可量词消去的新的证明，很大程度上简化了原有证明．
【机 构】
：
北京师范大学数学科学学院,北京工商大学数理系,贵州大学计算机科学与技术学院
【出 处】
：
南京大学学报：数学半年刊
【发表日期】
：
2007年2期
【基金项目】
：
国家自然科学基金资助项目（60310213）.
其他文献
Hilbert空间方法被用于一类三阶伪抛物型边值问题并得出了某些条件下的解的存在性。
通过引入一个适当的积分核函数和两个参数建立了一种新的Hardy-Hilbert型积分不等式.证明了用Г函数来表示的常数因子是最佳的.适当选取参数时,列举了若干有趣的结果.作为应
在这篇论文中,我们首次对H双模代数A和B构造了一个新的代数A（？）H（？）B,称之为双边L-R smash积,并且给出A（？）H（？）B成为双代数的充要条件.最后,我们给出双边L-Rsmash积的Maschek定理.
原发性椎间盘炎伴突出病例罕见,最近我们收治了一例,报道如下: 患者郑××,男,29岁,农民,住院
本文证明了一些关于1/π的新级数与相关同余式.我们也猜测了几类关于1/π的新级数与涉及素数二次型表示的相关同余式。
数字化、网络化的快速发展,以及校园无线网络的全面覆盖,使得当前高职院校课程教学不再是传统教学模式了,慕课、微课等网络平台已经被越来越多地应用在教学中,这样不仅使得课
设实反对称矩阵B的cholesky-like分解为B=R^TJR，其中J=（-I 0^0 I），R是上三角矩阵的重排．本文主要研究Cholesky-like分解的扰动分析，得到了一阶范数型扰动界和分量型扰动界。
模M称为直和补的是指M的任何一个子模都有一个是直和项的加补.模M称为H-补的是指,对M的任何一个子模A,都存在一个直和项L,使得A+X=M成立当且仅当M=L+X.本文主要给出了直和补
本文引入非齐型空间上的Herz空间,并证明了多线性Calderon-Zygmund算子及其交换子在这些空间上的有界性.
设G为半群,C为具FrEchet可微范数的一致凸Banach空间X的非空有界闭凸子集.（■）={T_t：t∈G}为C上到自身的渐近非扩张型半群,且F（■）非空.在本文中,我们证明了：对■的任一殆轨道u（