RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. LOMI, 1981 Volume 105, Pages 45–52 (Mi znsl3398)

This article is cited in 1 paper

Simplification of Gentzen's reductions in the classical arithmetic

L. M. Kogan-Bernstein


Abstract: The reduction of the classical arithmetic derivations used by Gentzen in [1] has not been till now put in practive. In the article a reduction which presents a considerable simplification of the reduction in [1] is suggested. Applying the methods of [3] this reduction can be used for normalization of the derivations. The derivation ordinal as in [1] is a strictly monotonous one unline that used by Gentzen in [2].

UDC: 510.64


 English version:
Journal of Soviet Mathematics, 1983, 22:3, 1305–1310

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024