Diophantine unsolvability over \(p\)-adic function fields

DOI10.1006/jabr.1995.1234zbMath0858.12006MaRDI QIDQ1899086

Fred W. Roush, Kim Hang Kim

Publication date: 9 November 1995

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jabr.1995.1234

zbMATH Keywords

rational function field; nonarchimedean local field; algorithmic unsolvability of diophantine equations; decision methods for isotropy

Mathematics Subject Classification ID

11R58: Arithmetic theory of algebraic function fields

11U05: Decidability (number-theoretic aspects)

12L05: Decidability and field theory

03B25: Decidability of theories and sets of sentences

12J25: Non-Archimedean valued fields

Related Items

Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0., The work of Kim and Roush on questions of decidability in algebra and number theory, The publications of Ki Hang Kim, Powerful values of polynomials and a conjecture of Vojta, Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields, Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic, Diophantine undecidability of holomorphy rings of function fields of characteristic 0, The logic of pseudo-\(S\)-integers, Hilbert's tenth problem for rings of rational functions, Hilbert's tenth problem for function fields of varieties over algebraically closed fields of positive characteristic, Hilbert's tenth problem for rational function fields over \(p\)-adic fields, Uniform first-order definitions in finitely generated fields, First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0, On existential definitions of c.e. subsets of rings of functions of characteristic 0, Grothendieck Rings of ℤ-Valued Fields, DIOPHANTINE SETS OF POLYNOMIALS OVER ALGEBRAIC EXTENSIONS OF THE RATIONALS, On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0, Diophantine sets of polynomials over number fields, DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES