@article{1183742733,
author = {Simpson, Stephen G.},
title = {Ordinal Numbers and the Hilbert Basis Theorem},
journal = {J. Symbolic Logic},
volume = {53},
number = {1},
year = {1988},
pages = { 961-974},
language = {en},
url = {http://dml.mathdoc.fr/item/1183742733}
}
Simpson, Stephen G. Ordinal Numbers and the Hilbert Basis Theorem. J. Symbolic Logic, Tome 53 (1988) no. 1, pp. 961-974. http://gdmltest.u-ga.fr/item/1183742733/