On existential definitions of c.e. subsets of rings of functions of characteristic 0

DOI10.1016/J.APAL.2021.103076MaRDI QIDQ2668003zbMATH OpenOpenAlexFDO

Authors Alexandra Shlapentokh, Russell Miller

Publication date 3 March 2022

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

Diophantine definabilityfunction fieldsvaluation rings

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07) Arithmetic theory of algebraic function fields (11R58) Decidability (number-theoretic aspects) (11U05) Model theory (number-theoretic aspects) (11U09) Valuations and their generalizations for commutative rings (13A18)

Abstract: We extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2) Every c.e. set of integers has a finite-fold Diophantine definition over the ring of integral functions of any function field of characteristic $0$. (3) All c.e. subsets of polynomial rings over totally real number fields have finite-fold Diophantine definitions. (These are the first examples of infinite rings with this property.) (4) If $k$ is algebraic over $Q$ and is embeddable into a finite extension of $Q_p$ for odd $p$, and $K$ is a one-variable function field over $k$, then the valuation ring of any function field valuation of $K$ has a Diophantine definition over $K$. (5) If $k$ is algebraic over $Q$ and is embeddable into $R$, and $K$ is a function field over $k$, then "almost" all function field valuations of $K$ have a valuation ring Diophantine over $K$. (6) Let $K$ be a one-variable function field over a number field and let $S$ be a finite set of its primes. Then all c.e. subsets of $O_{K,S}$ are existentially definable. (Here $O_{K,S}$ is the ring of $S$-integers or a ring of integral functions.)

Recommendations

• On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
• DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES
• Diophantine relations between rings of S-integers of fields of algebraic functions in one variable over constant fields of positive characteristic
• A diophantine definition of integers in the rings of rational numbers
• Diophantine undecidability of holomorphy rings of function fields of characteristic 0

Cites work

• A note on the number of zeros of polynomials and exponential polynomials
• Class field theory
• Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
• Diophantine definitions for some polynomial rings
• Diophantine sets of polynomials over number fields
• Diophantine Sets Over Z[ T ]
• Diophantine unsolvability over p-adic function fields
• Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields
• Existence of noneffectivizable estimates in the theory of exponential Diophantine equations
• Field Arithmetic
• Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields
• Hilbert's Tenth Problem for Rings of Algebraic Functions in One Variable Over Fields of Constants of Positive Characteristic
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 3715696 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 3480719 (Why is no real title available?)
• scientific article; zbMATH DE number 1157649 (Why is no real title available?)
• scientific article; zbMATH DE number 3335234 (Why is no real title available?)
• scientific article; zbMATH DE number 3070524 (Why is no real title available?)
• On Diophantine sets over polynomial rings
• Sur la représentation en somme de carrés des polynômes à une indéterminée sur un corps de nombres algébriques
• The Unknown Technology in Homer
• Towards finite-fold Diophantine representations

Cited in

(5)

• Universally and existentially definable subsets of global fields
• First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
• A survey of local-global methods for Hilbert's tenth problem
• Undecidability of indecomposable polynomial rings
• Universally defining subrings in function fields

This page was built for publication: On existential definitions of c.e. subsets of rings of functions of characteristic 0

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2668003)