Used for

• Decision problem of Diophantine sets
• Diophantine equations, Solvability problem of
• Diophantine sets, Decision problem of
• Solvability problem of Diophantine equations