国家自然科学基金(19931020)
- 作品数：14 被引量：31H指数：4
- 相关作者：王世强沈复兴别荣芳冯速马鑫更多>>
- 相关机构：北京师范大学四川大学更多>>
- 发文基金：国家自然科学基金教育部“优秀青年教师资助计划”教育部留学回国人员科研启动基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- Inductive Rings and Systems of Diophantine Equations
- 2006年
- 在这份报纸，由使用模型论的方法，在数字理论的未解决的立方的 diophantine 方程的一些系统能在戒指的某些引入的延期戒指有答案，这被显示出我合理整数。这些引入的戒指不是地，并且他们的每个元素是 4 个立方体的和和 3 个广场的和。另外，他们中的一些满足 Goldbach 推测，一些其它穿上鈥檛。关键词引入的戒指 - 未解决的立方的 diophantine 方程的系统 - 模型理论先生(2000 ) 题目分类 03C98 由中国的 NNSF (号码 19931020，号码 10001006 和号码 60273015 )
- 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年
- 证明了环理论扩充到具有量词消去理论时,其任意模型都是归纳环,而且带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环.
- 马鑫王世强沈复兴
- 关键词：量词消去
