An analogue of Hilbert's tenth problem for p-adic entire functions
From MaRDI portal
Publication:4876326
DOI10.2307/2275889zbMath0849.03007OpenAlexW2012599917MaRDI QIDQ4876326
Leonard Lipshitz, Thanases Pheidas
Publication date: 4 November 1996
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275889
analogue of Hilbert's tenth problempolynomial equationfield of \(p\)-adic numbers\(p\)-adic entire functionspositive existential theory
Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25)
Related Items
A survey on Büchi's problem: new presentations and open problems ⋮ An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields ⋮ Representation of squares by monic second degree polynomials in the field of 𝑝-adic meromorphic functions ⋮ Definability of Frobenius orbits and a result on rational distance sets ⋮ INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS ⋮ Valued modules on skew polynomial rings and Bézout domains ⋮ First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 ⋮ Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic
