What can and cannot be done with Diophantine problems
From MaRDI portal
Publication:741171
DOI10.1134/S0081543811080074zbMath1294.03016WikidataQ56896593 ScholiaQ56896593MaRDI QIDQ741171
Publication date: 10 September 2014
Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)
Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to number theory (11-02) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25)
Related Items
Cites Work
- Ranks of twists of elliptic curves and Hilbert's tenth problem
- Existential arithmetization of Diophantine equations
- Power series solutions of algebraic differential equations
- \(E\Upsilon PHKA\)! \(\mathrm{num}=\Delta +\Delta +\Delta\)
- The decision problem for exponential diophantine equations
- Some undecidable determined games
- Reduction of unknowns in diophantine representations
- Infiniteness sets of primes, admitting diophantine representations in eight variables
- Mathematical significance of consistency proofs
- Arithmetic over the rings of all algebraic integers.
- Algorithmic Information Theory
- An unsolvable problem in number theory
- Universal diophantine equation
- Hilbert's Tenth Problem for Quadratic Rings
- Diophantine Representation of the Set of Prime Numbers
- Diophantine representation of Mersenne and Fermat primes
- ANEW RELATION‐COMBINING THEOREM AND ITS APPLICATION
- Questions of decidability and undecidability in Number Theory
- Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
- On the integer solutions of quadratic equations
- Unsolvable Diophantine Problems
- Arithmetical problems and recursively enumerable predicates
- Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
