Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic
From MaRDI portal
Publication:2352025
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
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