Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule
YASUGI, Mariko
J. Math. Soc. Japan, Tome 22 (1970) no. 2, p. 308-324 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1970-07-15
Classification:  02.63 
@article{1259942633,
     author = {YASUGI, Mariko},
     title = {Cut elimination theorem for second order arithmetic with the $\Pi\_{1}^{1}$ -comprehension axiom and the $\omega$ -rule},
     journal = {J. Math. Soc. Japan},
     volume = {22},
     number = {2},
     year = {1970},
     pages = { 308-324},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1259942633}
}

YASUGI, Mariko. Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule. J. Math. Soc. Japan, Tome 22 (1970) no. 2, pp.  308-324. http://gdmltest.u-ga.fr/item/1259942633/