期刊文献+

在皮亚诺算术模型上方括号划分的一个定理

下载PDF
导出
摘要 本文解决文献[1]中提出的问题:如果I是半正则的,m,n∈ω,则I→[I]<sub>m</sub><sup>n</sup>(?)I→[I]<sub>m+1</sub><sup>n+1</sup>,下文中所引用的术语和记号在[1]—[3]中均可找到。引理1 如果I是半正则的,I→[I]<sub>m</sub><sup>n</sup>,则I→[I]<sub>m+1</sub><sup>n</sup>。证.设F:[I]<sup>n</sup>→(m+1)是规则划分函数,定义函数G如下:
作者 张宏裕
机构地区 扬州师院数学系
出处 《Chinese Quarterly Journal of Mathematics》 CSCD 1989年第3期107-108,共2页 数学季刊(英文版)
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部