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

DOI10.1016/j.jnt.2015.04.018zbMath1329.11129arXiv1411.7109OpenAlexW2963317694MaRDI 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 characteristicanalytic functionsPell equationuniformHilbert's tenth problem

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Non-Archimedean function theory (30G06)

Related Items (5)

Positive existential definability of multiplication from addition and the range of a polynomial ⋮ 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 ⋮ Bézout domains and lattice-valued modules ⋮ Valued modules on skew polynomial rings and Bézout domains

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

This page was built for publication: Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic