Universal diophantine equation

DOI10.2307/2273588zbMath0492.03018OpenAlexW2000047385WikidataQ56289059 ScholiaQ56289059MaRDI QIDQ3953760

James P. Jones

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273588

zbMATH Keywords

universal diophantine representation with 9 unknowns

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25)

Related Items (30)

Further results on Hilbert's tenth problem ⋮ Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets ⋮ Short Presburger Arithmetic Is Hard ⋮ Prime representing polynomial ⋮ On the computability of Nash equilibria ⋮ Undecidable problems in quantum field theory ⋮ Mathematical programming: Turing completeness and applications to software analysis ⋮ Unnamed Item ⋮ The Riemann hypothesis as the parity of special binomial coefficients ⋮ Embedding of provably unsolvable problems into stream ciphers;Встраивание доказуемо неразрешимых задач в шифры гаммирования ⋮ Constraint Satisfaction Problems over Numeric Domains ⋮ Linear equations over multiplicative groups, recurrences, and mixing. II ⋮ Undecidability and incompleteness in classical mechanics ⋮ Uncomputably large integral points on algebraic plane curves? ⋮ Martin Davis and Hilbert’s Tenth Problem ⋮ Knapsack problem for nilpotent groups ⋮ Primality testing ⋮ On a Diophantine representation of the predicate of provability ⋮ The scope of Gödel's first incompleteness theorem ⋮ My collaboration with Julia Robinson ⋮ Diophantine complexity ⋮ What can and cannot be done with Diophantine problems ⋮ Infiniteness sets of primes, admitting diophantine representations in eight variables ⋮ Definability, decidability, complexity ⋮ The incompleteness of theories of games ⋮ Semi-algebraic sets of \(f\)-vectors ⋮ Frontier between decidability and undecidability: A survey ⋮ Comparison of max-plus automata and joint spectral radius of tropical matrices ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• The decision problem for exponential diophantine equations
• Undecidable diophantine equations
• Diophantine Representation of the Set of Prime Numbers
• Hilbert's Tenth Problem is Unsolvable

This page was built for publication: Universal diophantine equation