×

Solving diophantine problems over all residue class fields of a number field and all finite fields. (English) Zbl 0376.02042


MSC:

03C60 Model-theoretic algebra
03D80 Applications of computability and recursion theory
03-04 Software, source code, etc. for problems pertaining to mathematical logic and foundations
11T55 Arithmetic theory of polynomial rings over finite fields
12L99 Connections between field theory and logic
12-04 Software, source code, etc. for problems pertaining to field theory
14G99 Arithmetic problems in algebraic geometry; Diophantine geometry
11U05 Decidability (number-theoretic aspects)
11D72 Diophantine equations in many variables