The ordinals of the systems of second order arithmetic with the provably Δ 2 1 -comprehension axiom and with the Δ 2 1 -comprehension axiom respectively
The ordinals of the systems of second order arithmetic with the provably Δ 2 1 -comprehension axiom and with the Δ 2 1 -comprehension axiom respectively
复制标题
分别具有可证明 Δ 2 1 -推导式公理和 Δ 2 1 -推导式公理的二阶算术系统的序数
DOI：
10.4099/jjm1924.41.0_1
复制
发表时间：
1973
期刊：
影响因子：
--
通讯作者：
M. Yasugi
中科院分区：
文献类型：
--
作者：
G. Takeuti;M. Yasugi
定义 1.15。以 G L C 作为逻辑基础的树形形式的二阶算术证明（精确定义参见[5]）（包括替换作为推理规则之一）如果满足以下条件，则称为（3-）可约。
Definition 1.15. A proof of second order arithmetic in the tree form formulation with G L C as its logical basis (see [5] for the precise definition) (Including substitution as one of the rules of inference) is called (3-) reducible if it satisfies the following.
Ω 规则的完整割消除定理
DOI：
--
发表时间：
--
期刊：
The Bulletin of Symbolic Logic
影响因子：
--
作者：
Sugiura;K;Nakanishi;H;鈴木雅子・境一三;Ryota Akiyoshi and Grigori Mints
通讯作者：
Ryota Akiyoshi and Grigori Mints