For every quadratic field K, deciding solvability of polynomial equations in 16 variables over its ring of integers is undecidable, and 15 variables suffice when K is real quadratic.
Matiyasevich,Enumerable sets are diophantine, Dokl
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
math.NT 1years
2026 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
On Diophantine equations over the integer rings of quadratic fields
For every quadratic field K, deciding solvability of polynomial equations in 16 variables over its ring of integers is undecidable, and 15 variables suffice when K is real quadratic.