您的位置： 专家智库 > >

张玉平

作品数：4 被引量：0H指数：0
供职机构：北京师范大学数学科学学院更多>>
发文基金：国家自然科学基金国家教育部博士点基金更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 4篇理学

主题

  • 3篇模型论
  • 1篇对角化
  • 1篇证明论
  • 1篇紧致
  • 1篇紧致性

机构

  • 4篇北京师范大学

作者

  • 4篇张玉平
  • 3篇王世强

传媒

  • 4篇北京师范大学...

年份

  • 1篇1996
  • 2篇1994
  • 1篇1992
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
严格稳定理论的中介稳定理论
1994年
在连续秩有穷的公式是稠密的条件下，建立了严格稳定的理论的中介稳定理论．
张玉平王世强
关键词：模型论
研究格值模型论的一种新方法
1992年
多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.
张玉平
关键词：紧致性
域上无限方阵的弱对角化
1994年
用非标准分析中的技巧给出了复数域上无限方阵可弱对角化的一个充分条件。借助于模型论中的特殊模型，证明了饱和的域上无限方阵的可弱对角化的一个充分条件。
张玉平王世强
关键词：模型论
模型论弱力迫的证明论特征
1996年
推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明论的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。
张玉平王世强
关键词：模型论证明论
全选 清除 导出
共1页<1>
聚类工具0