Universal diophantine equation
From MaRDI portal
Publication:3953760
DOI10.2307/2273588zbMath0492.03018OpenAlexW2000047385WikidataQ56289059 ScholiaQ56289059MaRDI QIDQ3953760
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
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
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
