A Constructive Version of Hilbert's Basis Theorem |
Common terms and phrases
a. e. c. sequence a. e. c. test sequence Algebra allowable operation Chapter classical clearly coef coef(d coefficients column sequence Corollary d max d₁ defined definition denote Direct Sum Theorem equations Errett Bishop ERSITY eventually constant exists a basis exists an a. e. c. f n+1 finite number fN+1 free abelian group given sequence Goldbach's conjecture Hence Hilbert's Basis Theorem ideal induction infinite matrix infinite sequence K₁ Lemma Lemma 9 LIBRARY DIEGO linear combination m₁ m₂ max true-deg n-tuple Noetherian basis operation Noetherian condition Noetherian module Noetherian ring ORNIA P₁ proof Proposition prove r₁ Rd f Rd f₁ Rd(f real numbers Reduction Theorem SAN DIEGO SAN DIEGO DIEGO satisfy saturated set sensible module sensible set sequence f sequence of integers true degree true-deg Rd true-deg Rd(f₁ UNIVERSITY LIBRARY zero