DIOPHANTINE SETS OF POLYNOMIALS OVER ALGEBRAIC EXTENSIONS OF THE RATIONALS
From MaRDI portal
Publication:2933672
DOI10.1017/jsl.2013.9zbMath1355.03034MaRDI QIDQ2933672
Claudia Degroote, Jeroen Demeyer
Publication date: 5 December 2014
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://biblio.ugent.be/publication/4128161
11U05: Decidability (number-theoretic aspects)
03B25: Decidability of theories and sets of sentences
03D80: Applications of computability and recursion theory
03D25: Recursively (computably) enumerable sets and degrees
Related Items
Cites Work
- Diophantine unsolvability over \(p\)-adic function fields
- Hilbert's tenth problem for rational function fields over \(p\)-adic fields
- Recursively enumerable sets of polynomials over a finite field are Diophantine
- Effective procedures in field theory
- Diophantine sets of polynomials over number fields
- Hilbert's Tenth Problem is Unsolvable
- A decision method for $p$-adic integral zeros of diophantine equations