Uniform existential interpretation of arithmetic in rings of functions of positive characteristic

DOI10.1007/s00222-013-0472-1zbMath1327.03009arXiv1012.0960OpenAlexW2068975525MaRDI QIDQ2449847

Thanases Pheidas, Xavier Vidaux, Hector Pasten

Publication date: 12 May 2014

Published in: Inventiones Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

Hilbert's tenth probleminterpretations of arithmeticrings of functions of positive characteristicuniformity of definition relatively to characteristic \(p\)

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25)

Related Items (4)

Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field ⋮ Positive existential definability of multiplication from addition and the range of a polynomial ⋮ Definability of Frobenius orbits and a result on rational distance sets ⋮ Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

Cites Work

• Unnamed Item
• Unnamed Item
• 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
• Hilbert's tenth problem for fields of rational functions over finite fields
• Existential definability of non-nullity in rings
• Diophantine unsolvability for function fields over certain infinite fields of characteristic \(p\)
• Asymptotic theories of differential fields
• Hilbert's tenth problem for algebraic function fields over infinite fields of constants of positive characteristic
• Hilbert's tenth problem for algebraic function fields of characteristic 2.
• An essay on diophantine equations for analytic functions
• Diophantine undecidability over algebraic function fields over finite fields of constants
• Uniform first-order definitions in finitely generated fields
• Recursively enumerable sets of polynomials over a finite field are Diophantine
• Diophantine problems over local fields. III: Decidable fields
• Solving diophantine problems modulo every prime
• THE ANALOGUE OF BÜCHI'S PROBLEM FOR RATIONAL FUNCTIONS
• Undecidability in Function Fields of Positive Characteristic
• An Undecidability Result for Power Series Rings of Positive Characteristic. II
• Undecidability and Definability for the Theory of Global Fields
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• Undecidable existential theories of polynomial rings and function fields
• Hilbert's Tenth Problem for Rational Function Fields in Characteristic 2
• Hilbert's Tenth Problem is Unsolvable
• Elementary Methods in Number Theory
• Diophantine Problems Over Local Fields I

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