×

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).

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

Citations:

Zbl 0423.00001