Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

DOI10.1016/j.jnt.2015.04.018zbMath1329.11129arXiv1411.7109MaRDI QIDQ2352025

Natalia Garcia-Fritz, Hector Pasten

Publication date: 29 June 2015

Published in: Journal of Number Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.7109

zbMATH Keywords

positive characteristic; analytic functions; Pell equation; uniform; Hilbert's tenth problem

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

12L05: Decidability and field theory

30G06: Non-Archimedean function theory

Related Items

INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS, Valued modules on skew polynomial rings and Bézout domains, Positive existential definability of multiplication from addition and the range of a polynomial, Definability of Frobenius orbits and a result on rational distance sets, Bézout domains and lattice-valued modules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A survey on Büchi's problem: new presentations and open problems
• The analogue of Büchi's problem for function fields
• Applications of branched values to \(p\)-adic functional equations on analytic functions
• Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
• Solving diophantine problems modulo every prime
• A p-adic Nevanlinna–Diophantine correspondence
• Diophantine Approximation and Nevanlinna Theory
• THE ANALOGUE OF BÜCHI'S PROBLEM FOR RATIONAL FUNCTIONS
• An Undecidability Result for Power Series Rings of Positive Characteristic. II
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• Undecidable existential theories of polynomial rings and function fields
• Questions of decidability and undecidability in Number Theory
• The diophantine theory of a ring of analytic functions.
• An analogue of Hilbert's tenth problem for p-adic entire functions
• Extensions of Buchi's Higher Powers Problem to Positive Characteristic
• Undecidability in Number Theory