云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(19931020)

国家自然科学基金(19931020): 作品数：14被引量：30H指数：3; 导出分析报告; 相关作者：王世强沈复兴别荣芳冯速马鑫更多>>; 相关机构：北京师范大学四川大学更多>>; 相关期刊：《北京师范大学学报（自然科学版）》《南京大学学报（数学半年刊）》《计算机科学》《数学年刊（A辑）》更多>>; 相关主题：模型论数论问题逻辑PA条件独立性更多>>; 相关领域：理学自动化与计算机技术更多>>

一类特殊的归纳环及双向归纳环: 《北京师范大学学报（自然科学版）》2008年第2期146-148,共3页马鑫王世强沈复兴; 国家自然科学基金重点资助项目(19931020); 证明了环理论扩充到具有量词消去理论时,其任意模型都是归纳环,而且带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环.; 关键词：归纳环双向归纳环量词消去

一些5次数环的具有Goldbach性质的扩环: 《南京大学学报（数学半年刊）》2007年第2期213-221,共9页别荣芳王世强; 国家自然科学基金重点资助项目(19931020);国家自然科学(青年)基金(60273015;10001006); 用数论和模型论方法证明了:对于很多5次代数整数环,存在着具有Goldbach性质的扩环。; 关键词：5次数环 Goldbach性质模型论

关于一类不定方程有解的一般性结论: 《北京师范大学学报（自然科学版）》2007年第6期610-611,共2页马鑫王世强沈复兴; 国家自然科学基金重点资助项目(19931020); 用模型论的方法证明了一类不定方程a1xr11+a2xr22+…+anxrnn=bys(其中a1,…,an,b为任意整数,r1,…,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.; 关键词：不定方程 Peano公理紧致性定理模型

Inductive Rings and Systems of Diophantine Equations: 《Acta Mathematica Sinica,English Series》2006年第5期1549-1556,共8页Rong Fang BIE Shi Qiang WANG; Supported by NNSF(No. 19931020, No. 10001006 and No. 60273015)of China; 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...; 关键词：Inductive rings Systems of unsolved cubic diophantine equations Model theory

关于整数环的无限n素元组归纳扩环的多样性被引量：2: 《北京师范大学学报（自然科学版）》2005年第4期339-342,共4页别荣芳; 国家自然科学基金重点资助项目(19931020);国家自然科学(青年)基金资助项目(60273015;10001006); 用模型论方法证明了:对于整数环I及每个正整数n及每一可能类型的n素元组而言,存在不可数无限多个其1阶性质互不全同的含有无限多该类型的n素元组的归纳扩环(文中简称该类型的nT-环),并且存在无限多个正整数对,对每个这样的正整数对(a,b)...; 关键词：归纳环 n素元组模型论

一些4次数环的具有Goldbach性质的扩环被引量：3: 《北京师范大学学报（自然科学版）》2005年第4期343-345,共3页王世强; 国家自然科学基金资助项目(19931020); 用数论和模型论方法证明了:对于很多4次代数整数环,存在着具有Goldbach性质的扩环.; 关键词：4次数环 Goldbach性质模型论

一类素数问题等对PA的条件独立性——对一些数论问题的逻辑讨论(Ⅳ)被引量：1: 《北京师范大学学报（自然科学版）》2004年第5期579-581,共3页王世强别荣芳; 国家自然科学基金重点资助项目 (199310 2 0 );国家自然科学 (青年 )基金资助项目 (10 0 0 10 0 6); 用模型论方法证明了 2次函数素数值问题及一种 3重完美数问题对于PA的条件独立性 ,以及一些更一般的结论 .; 关键词：2次函数素数值多重完美数 Peano公理组模型论

完全二叉树理论的模型及性质被引量：8: 《北京师范大学学报（自然科学版）》2004年第2期177-180,共4页陈磊沈复兴; 国家自然科学基金资助项目 ( 199310 2 0 ); 定义了完全二叉树理论的决定公式 .利用该类公式证明了此理论是原子理论 ,且型的个数是可数的 .还给出了它的可数原子模型和饱和模型 .证明了完全二叉树理论的ω1; 关键词：完全二叉树理论原子模型饱和模型型 ω1-范畴

关于狭义拟仿紧空间被引量：6: 《数学年刊（A辑）》2003年第4期453-458,共6页蒋继光张树果; 国家自然科学基金(No.19931020);教育部优秀青年教师基金; 本文研究了狭义拟仿紧空间的两个因子的乘积和逆序列的极限的性质,还肯定地回答了刘应明在[1,2]中提出的一个问题。; 关键词：狭义拟仿紧逆极限 K-仿紧集体正规

动态项重写计算被引量：2: 《计算机科学》2002年第8期13-14,12,共3页冯速; 国家自然科学基金(重点项目)(19931020);教育部留学回国人员科研启动基金; 1.引言项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致.虽然项重写系统形式简单、计算单纯,但它同时又具有与λ计...; 关键词：动态项重写计算完备化算法形式计算模型元计算计算机

国家自然科学基金(19931020)