Transfinite type theory and provability of second order formulas
YUKAMI, Tsuyoshi
J. Math. Soc. Japan, Tome 29 (1977) no. 4, p. 633-654 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1977-10-15
Classification:  02B15,  02D99 
@article{1240432859,
     author = {YUKAMI, Tsuyoshi},
     title = {Transfinite type theory and provability of second order formulas},
     journal = {J. Math. Soc. Japan},
     volume = {29},
     number = {4},
     year = {1977},
     pages = { 633-654},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1240432859}
}

YUKAMI, Tsuyoshi. Transfinite type theory and provability of second order formulas. J. Math. Soc. Japan, Tome 29 (1977) no. 4, pp.  633-654. http://gdmltest.u-ga.fr/item/1240432859/