Hilbert's Tenth Problem for Rings of Algebraic Functions in One Variable Over Fields of Constants of Positive Characteristic
From MaRDI portal
Publication:4015864
DOI10.2307/2154109zbMath0773.11075OpenAlexW4232629238MaRDI QIDQ4015864
Publication date: 29 November 1992
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2154109
Pell equationpolynomial equationalgebraic function fieldHilbert's tenth problemsundecidable positive existential theory
Decidability (number-theoretic aspects) (11U05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Model theory (number-theoretic aspects) (11U09)
Related Items
Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0. ⋮ The logic of pseudo-\(S\)-integers ⋮ On existential definitions of c.e. subsets of rings of functions of characteristic 0 ⋮ Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. ⋮ Existence of rational points on smooth projective varieties ⋮ DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES