| 第一类原始递归算术 A_0 甲 |
| |
| 引用本文： | 沈百英. 第一类原始递归算术 A_0 甲[J]. 南京大学学报(自然科学版), 1987, 0(2) |
| |
| 作者姓名： | 沈百英 |
| |
| 作者单位： | 南京大学数学系 |
| |
| 摘 要： | 本文把文[3]中的规则θ_2~*去掉,从而得到第一类原始逆归算术A~0V_1V_2系统,即系统A_0甲,这里A_0为存在性公理V_1与I_2为唯一性规则(见正文)。
|
| 关 键 词： | 原始递归算术 递归算术 公理系统 |
THE PRIMITIVE RECURSIVE ARITHMETIC IN THE FIRST CLASS A_0 1 |
| |
| Shen Baiying. THE PRIMITIVE RECURSIVE ARITHMETIC IN THE FIRST CLASS A_0 1[J]. Journal of Nanjing University: Nat Sci Ed, 1987, 0(2) |
| |
| Authors: | Shen Baiying |
| |
| Affiliation: | Mathematics Department |
| |
| Abstract: | In addition to the basic system the primitive recursive arithmetic in the first class A_0 l consists of the following primitive recursive function definition A_0 and primitive recursive uniqueness rules V_1, I_2: |
| |
| Keywords: | the primitive recursive arithmetic the recusive arithmetic axiom system |
| 本文献已被 CNKI 等数据库收录！ |
