A theorem on the second-order arithmetic with the $\omega$ -rule
TAKAHASHI, Motoo
J. Math. Soc. Japan, Tome 22 (1970) no. 2, p. 15-24 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1970-01-15
Classification:  02.18 
@article{1259942848,
     author = {TAKAHASHI, Motoo},
     title = {A theorem on the second-order arithmetic with the $\omega$ -rule},
     journal = {J. Math. Soc. Japan},
     volume = {22},
     number = {2},
     year = {1970},
     pages = { 15-24},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1259942848}
}

TAKAHASHI, Motoo. A theorem on the second-order arithmetic with the $\omega$ -rule. J. Math. Soc. Japan, Tome 22 (1970) no. 2, pp.  15-24. http://gdmltest.u-ga.fr/item/1259942848/