On the inductive definition with quantifiers of second order
TAKEUTI, Gaisi
J. Math. Soc. Japan, Tome 13 (1961) no. 4, p. 333-341 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1961-10-15
Classification:  02.18,  06.10 
@article{1261062617,
     author = {TAKEUTI, Gaisi},
     title = {On the inductive definition with quantifiers of second order},
     journal = {J. Math. Soc. Japan},
     volume = {13},
     number = {4},
     year = {1961},
     pages = { 333-341},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1261062617}
}

TAKEUTI, Gaisi. On the inductive definition with quantifiers of second order. J. Math. Soc. Japan, Tome 13 (1961) no. 4, pp.  333-341. http://gdmltest.u-ga.fr/item/1261062617/