A second order theory of ordinal numbers with Ackermann-type reflection schema
HANAZAWA, Masazumi
J. Math. Soc. Japan, Tome 29 (1977) no. 4, p. 745-753 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1977-10-15
Classification:  02K15,  04A10 
@article{1240432865,
     author = {HANAZAWA, Masazumi},
     title = {A second order theory of ordinal numbers with Ackermann-type reflection schema},
     journal = {J. Math. Soc. Japan},
     volume = {29},
     number = {4},
     year = {1977},
     pages = { 745-753},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1240432865}
}

HANAZAWA, Masazumi. A second order theory of ordinal numbers with Ackermann-type reflection schema. J. Math. Soc. Japan, Tome 29 (1977) no. 4, pp.  745-753. http://gdmltest.u-ga.fr/item/1240432865/