张玉平

作品数：4被引量：0H指数：0
导出分析报告
供职机构：北京师范大学数学科学学院更多>>
发文主题：模型论紧致性对角化证明论更多>>
发文领域：理学更多>>
发文期刊：《北京师范大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模型论弱力迫的证明论特征
《北京师范大学学报（自然科学版）》1996年第1期32-35,共4页张玉平 王世强 
国家自然科学基金
推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明论的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。
关键词：模型论 模型论力迫 证明论 模型论弱力迫 
域上无限方阵的弱对角化
《北京师范大学学报（自然科学版）》1994年第4期453-457,共5页张玉平 王世强 
国家自然科学基金
用非标准分析中的技巧给出了复数域上无限方阵可弱对角化的一个充分条件。借助于模型论中的特殊模型，证明了饱和的域上无限方阵的可弱对角化的一个充分条件。
关键词：非标准分析 模型论 无限方阵 弱对角化 
严格稳定理论的中介稳定理论
《北京师范大学学报（自然科学版）》1994年第2期176-180,共5页张玉平 王世强 
国家自然科学基金
在连续秩有穷的公式是稠密的条件下，建立了严格稳定的理论的中介稳定理论．
关键词：模型论 严格稳定理论 中介稳定理论 
研究格值模型论的一种新方法
《北京师范大学学报（自然科学版）》1992年第4期420-425,共6页张玉平 
国家教委博士点基金
多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.
关键词：多值模型 紧致性 格值模型论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部