@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/