Undecidability in Function Fields of Positive Characteristic

DOI10.1093/IMRN/RNP079MaRDI QIDQ3643307zbMATH OpenOpenAlexFDO

Authors Kirsten Eisenträger, Alexandra Shlapentokh

Publication date 11 November 2009

Published in IMRN. International Mathematics Research Notices (Search for Journal in Brave)

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

zbMATH Keywords

function fields of positive characteristicHilbert's tenth problemundecidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35) Elliptic curves over global fields (11G05) Decidability (number-theoretic aspects) (11U05)

Abstract: We prove that the first-order theory of any function field K of characteristic p>2 is undecidable in the language of rings without parameters. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2. The proof uses a result by Moret-Bailly about ranks of elliptic curves over function fields.

Recommendations

• Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
• scientific article; zbMATH DE number 3877167
• Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field
• Hilbert's tenth problem for function fields of varieties over algebraically closed fields of positive characteristic
• Sur la théorie élémentaire des corps de fonctions

Cited in

(13)

• Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
• Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field
• Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
• On a question of Abraham Robinson
• scientific article; zbMATH DE number 3877167 (Why is no real title available?)
• Sur la théorie élémentaire des corps de fonctions
• Indécidabilité de corps de séries formelles
• Indécidabilité des corps de courbe réelle
• Definability of Frobenius orbits and a result on rational distance sets
• Undecidability of ℚ⁽²⁾
• As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields
• On Hilbert's ``geometric tenth problem for odd characteristic function fields
• Undecidability of indecomposable polynomial rings

This page was built for publication: Undecidability in Function Fields of Positive Characteristic

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