Hilbert's tenth problem for rings of rational functions
From MaRDI portal
Publication:1430905
DOI10.1305/ndjfl/1074290716zbMath1062.03019MaRDI QIDQ1430905
Publication date: 27 May 2004
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1074290716
11U05: Decidability (number-theoretic aspects)
12L05: Decidability and field theory
03B25: Decidability of theories and sets of sentences
Related Items
Powerful values of polynomials and a conjecture of Vojta, Diophantine undecidability of holomorphy rings of function fields of characteristic 0, First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hilbert's tenth problem for fields of rational functions over finite fields
- Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\)
- Diophantine unsolvability for function fields over certain infinite fields of characteristic \(p\)
- Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
- Diophantine unsolvability over \(p\)-adic function fields
- The Undecidability of Algebraic Rings and Fields
- Undecidability and Definability for the Theory of Global Fields
- The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
- DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES
- Undecidable existential theories of polynomial rings and function fields
- Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
- Definability and decision problems in arithmetic
