Hilbert's Tenth Problem for Rational Function Fields in Characteristic 2
From MaRDI portal
Publication:4281762
DOI10.2307/2160192zbMath0795.03015OpenAlexW4243137675MaRDI QIDQ4281762
Publication date: 1 September 1994
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2160192
analogue of Hilbert's tenth problemundecidabilityglobal fieldsdiophantine equationsexistential theoryfunction field over a finite field of characteristic 2
Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25)
Related Items (14)
Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field ⋮ Cryptanalysis of a public key cryptosystem based on Diophantine equations via weighted LLL reduction ⋮ NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES ⋮ The work of Kim and Roush on questions of decidability in algebra and number theory ⋮ Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields ⋮ The logic of pseudo-\(S\)-integers ⋮ As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields ⋮ Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. ⋮ Uniform existential interpretation of arithmetic in rings of functions of positive characteristic ⋮ Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic ⋮ Hilbert's tenth problem for function fields of varieties over algebraically closed fields of positive characteristic ⋮ Existence of rational points on smooth projective varieties ⋮ Diophantine undecidability of holomorphy rings of function fields of characteristic 0 ⋮ Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\)
This page was built for publication: Hilbert's Tenth Problem for Rational Function Fields in Characteristic 2