|
|||||
|
|
| 在皮亚诺算术模型上方括号划分的一个定理 | |
| 引用本文： | 张宏裕.在皮亚诺算术模型上方括号划分的一个定理[J].数学季刊,1989(3). |
| 作者姓名： | 张宏裕 |
| 作者单位： | 扬州师院数学系 |
| 摘 要： | 本文解决文献1]中提出的问题:如果I是半正则的,m,n∈ω,则I→I]_m~n(?)I→I]_(m 1)~(n 1),下文中所引用的术语和记号在1]—3]中均可找到。引理1 如果I是半正则的,I→I]_m~n,则I→I]_(m 1)~n。证.设F:I]~n→(m 1)是规则划分函数,定义函数G如下: |
| 本文献已被 CNKI 等数据库收录！ | |