All Questions

Take the Hilbert Basis Theorem over the rational numbers in this form in the language of Second Order Arithmetic:  For every $n\in N$ every ideal of the polynomial ring $\mathbb{Q}[x_1,\dots,x_n]$ is ...