A consistency-proof of a formal theory of Ackermann's ordinal numbers.
KINO, Akiko
J. Math. Soc. Japan, Tome 10 (1958) no. 4, p. 287-303 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1958-07-15
Classification:  02.00 
@article{1261149507,
     author = {KINO, Akiko},
     title = {A consistency-proof of a formal theory of Ackermann's ordinal numbers.},
     journal = {J. Math. Soc. Japan},
     volume = {10},
     number = {4},
     year = {1958},
     pages = { 287-303},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1261149507}
}

KINO, Akiko. A consistency-proof of a formal theory of Ackermann's ordinal numbers.. J. Math. Soc. Japan, Tome 10 (1958) no. 4, pp.  287-303. http://gdmltest.u-ga.fr/item/1261149507/