van den Dries, Lou Algorithms and bounds for polynomial rings. (English) Zbl 0461.13015 Logic colloquium ’78, Proc., Mons/Belgium 1978, Stud. Logic Found. Math., Vol. 97, 147-157 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 13L05 Applications of logic to commutative algebra 13F20 Polynomial rings and ideals; rings of integer-valued polynomials 03C60 Model-theoretic algebra 03H15 Nonstandard models of arithmetic Keywords:compactness theorem; nonstandard analysis; effective bounds for polynomial rings Citations:Zbl 0423.00001 PDFBibTeX XML