Hilbert's tenth problem is of unification type zero

DOI10.1007/BF00245459zbMath0781.68075MaRDI QIDQ688556

Mark Franzen

Publication date: 1 February 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

unificationequational theoriesHilbert's tenth problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

Related Items (4)

PYTHAGOREAN TRIPLES IN THE UNIFICATION THEORY OF ASSOCIATIVE AND COMMUTATIVE RINGS ⋮ The unification type of the Pythagorean equation in varieties of nilpotent rings ⋮ Unification theory ⋮ Unification problem in equational theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unification under associativity and idempotence is of type nullary
• The theory of idempotent semigroups is of unification type zero
• Unification in varieties of idempotent semigroups
• Unification theory
• New decision algorithms for finitely presented commutative semigroups
• The undecidability of the D_A-unification problem
• Complete Sets of Reductions for Some Equational Theories
• The Logic of Equality
• Hilbert's Tenth Problem is Unsolvable

This page was built for publication: Hilbert's tenth problem is of unification type zero