Ordinal Numbers and the Hilbert Basis Theorem

Stephen G. Simpson. Ordinal Numbers and the Hilbert Basis Theorem. Journal of Symbolic Logic, 53(3):961-974, 1988.

Abstract

Abstract is missing.