公共文化服务平台

Inductive Rings and Systems of Diophantine Equations: 2006年; In this paper, by using model-theoretic methods, it is shown that some systems of unsolved cubic diophantine equations in number theory can have solutions in certain inductive extension rings of the ring I of rational integers. These inductive rings are not fields, and every element of them is a sum of 4 cubes and a sum of 3 squares. Also some of them satisfy the Goldbach conjecture and some others don＇t.; Rong Fang BIEShi Qiang WANG

关于整数环的无限n素元组归纳扩环的多样性被引量：2: 2005年; 用模型论方法证明了:对于整数环I及每个正整数n及每一可能类型的n素元组而言,存在不可数无限多个其1阶性质互不全同的含有无限多该类型的n素元组的归纳扩环(文中简称该类型的nT-环),并且存在无限多个正整数对,对每个这样的正整数对(a,b),存在I的nT-扩环R,它适合加a的归纳法,而不适合加b的归纳法.还证明了存在该类型的nT-环R,R的每个元素是3平方和和4立方和.; 别荣芳; 关键词：模型论

一些4次数环的具有Goldbach性质的扩环被引量：3: 2005年; 用数论和模型论方法证明了:对于很多4次代数整数环,存在着具有Goldbach性质的扩环.; 王世强; 关键词：模型论

关于狭义拟仿紧空间被引量：6: 2003年; 本文研究了狭义拟仿紧空间的两个因子的乘积和逆序列的极限的性质,还肯定地回答了刘应明在[1,2]中提出的一个问题。; 蒋继光张树果

完美数与亲和数问题对PA的条件独立性——对一些数论问题的逻辑讨论(Ⅲ)被引量：3: 2002年; 用模型论方法证明了 ,对于在自然数系N上与PA等价的一组公理P1而言 ,N中一类特殊完美数的无限性是独立于P1的 .并且 ,N中一类特殊亲和数的无限性也是独立于P1的 .; 王世强; 关键词：PA 条件独立性数论模型论紧致性定理

一些5次数环的具有Goldbach性质的扩环: 2007年; 用数论和模型论方法证明了:对于很多5次代数整数环,存在着具有Goldbach性质的扩环。; 别荣芳王世强; 关键词：模型论

动态项重写计算被引量：3: 2002年; 1.引言项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致.虽然项重写系统形式简单、计算单纯,但它同时又具有与λ计算及图灵机相同的计算能力.正是它的简洁性及计算能力使它受到广泛的研究和应用:项重写系统为抽象数据类型提供类型、为函数型语言提供操作语义、为定理自动证明提供推理工具.对于项重写系统本身也有大量的研究:如合流性、终止性、等价性等[1-5].; 冯速; 关键词：元计算计算机

关于一类不定方程有解的一般性结论: 2007年; 用模型论的方法证明了一类不定方程a1xr11+a2xr22+…+anxrnn=bys(其中a1,…,an,b为任意整数,r1,…,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.; 马鑫王世强沈复兴; 关键词：紧致性定理

Goldbach猜想等与PA的一些联系——对一些数论问题的逻辑讨论(Ⅱ)被引量：5: 2002年; 用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价 ) .又证明了它们与一组较强的公理P2 相和谐(P2 也在N上与PA等价 ) .; 王世强; 关键词：GOLDBACH猜想孪生素数猜想模型论

一类特殊的归纳环及双向归纳环: 2008年; 证明了环理论扩充到具有量词消去理论时,其任意模型都是归纳环,而且带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环.; 马鑫王世强沈复兴; 关键词：量词消去

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(19931020)