Abstract
We show that the problem of finding integer solutions to a polynomial equation over the integers has unification type zero, i.e. there exist polynomial equations which have unifiers, but which have no minimal and complete set of unifiers: In particular, it is shown that the equation uv=w+z has no minimal and complete set of solutions.
Similar content being viewed by others
References
Baader, F., The theory of idempotent semigroups is of unification type zero’, Journal of Automated Reasoning 2, 283–286 (1986).
Baader, F., ‘Unification in varieties of idempotent semigroups’, Semigroup Forum 36, 127–145 (1987).
Davis, M., ‘Hilbert's tenth problem is unsolvable’, American Mathematical Monthly 80, 233–269 (1973).
Fages, F. and Huet, G., ‘Complete sets of unifiers and matchers in equational theories’. In Proc. of CAAP'83. LNCS 159, Springer Verlag, 205–220, 1983.
Henkin, L., ‘The logic of equality’, The American Mathematical Monthly 84(8), 597–612 (1977).
Lankford, D. S. and Ballantyne, A. M., ‘Decision procedures for simple equational theories with commutative-associative axioms’. Technical report, Univ. of Texas Mathematics Dept., August, 1977.
Matiyasevich, Y., ‘E Numerable sets are diophantine’, Soviet Mathematic-Doklady 11, 354–357 (1970).
Peterson, G. and Stickel, M., ‘Complete sets of reductions for some equational theories’, Journal of the ACM 28(2), 233–264 (April 1981).
Schmidt-Schauss, M., ‘Unification under associativity and idempotence is of type nullary’, Journal of Automated Reasoning 2, 277–281 (1986).
Siekmann, J., ‘Unification theory’, Journal of Symbolic Computation 7, 207–274 (March/April 1989).
Siekmann, J. and Szabo, P., ‘The undecidability of the D A -unification problem’, Journal of Symbolic Logic 54(2), 402–414 (June 1989).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Franzen, M. Hilbert's tenth problem is of unification type zero. J Autom Reasoning 9, 169–178 (1992). https://doi.org/10.1007/BF00245459
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00245459