scientific article
From MaRDI portal
Publication:3905379
zbMath0457.12011MaRDI QIDQ3905379
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Undecidability and degrees of sets of sentences (03D35)
Related Items (26)
Recursively enumerable sets of polynomials over a finite field ⋮ 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 ⋮ Undecidability of Parametric Solutions of Polynomial Equations ⋮ THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS ⋮ Hilbert's tenth problem for fields of rational functions over finite fields ⋮ As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields ⋮ Equations in Algebras ⋮ 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 ⋮ Recursively enumerable sets of polynomials over a finite field are Diophantine ⋮ Undecidability of equations in free Lie algebras ⋮ A public-key encryption scheme based on non-linear indeterminate equations ⋮ On an exponential predicate in polynomials over finite fields ⋮ Diophantine unsolvability for function fields over certain infinite fields of characteristic \(p\) ⋮ Diophantine sets of polynomials over number fields ⋮ INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS ⋮ An Undecidability Result for Power Series Rings of Positive Characteristic ⋮ Decidability questions for a ring of Laurent polynomials ⋮ Diophantine undecidability of holomorphy rings of function fields of characteristic 0 ⋮ UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS ⋮ An undecidability result for the asymptotic theory of \(p\)-adic fields ⋮ Definability and decidability in infinite algebraic extensions ⋮ Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic
This page was built for publication:
