The following pages link to (Q3905379):
Displaying 27 items.
- Decidability questions for a ring of Laurent polynomials (Q764281) (← links)
- Recursively enumerable sets of polynomials over a finite field (Q875928) (← links)
- Hilbert's tenth problem for fields of rational functions over finite fields (Q910434) (← links)
- Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic (Q937914) (← links)
- Diophantine undecidability of holomorphy rings of function fields of characteristic 0 (Q1041275) (← links)
- Diophantine unsolvability for function fields over certain infinite fields of characteristic \(p\) (Q1204413) (← links)
- The logic of pseudo-\(S\)-integers (Q1380507) (← links)
- Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. (Q1427400) (← links)
- A public-key encryption scheme based on non-linear indeterminate equations (Q1746969) (← links)
- An undecidability result for the asymptotic theory of \(p\)-adic fields (Q2105093) (← links)
- Definability and decidability in infinite algebraic extensions (Q2349099) (← links)
- Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic (Q2352025) (← links)
- Uniform existential interpretation of arithmetic in rings of functions of positive characteristic (Q2449847) (← links)
- Recursively enumerable sets of polynomials over a finite field are Diophantine (Q2464706) (← links)
- On existential definitions of c.e. subsets of rings of functions of characteristic 0 (Q2668003) (← links)
- On an exponential predicate in polynomials over finite fields (Q3574832) (← links)
- Diophantine sets of polynomials over number fields (Q3581096) (← links)
- An Undecidability Result for Power Series Rings of Positive Characteristic (Q3781063) (← links)
- Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0. (Q4304189) (← links)
- Equations in Algebras (Q4611337) (← links)
- Undecidability of equations in free Lie algebras (Q4645108) (← links)
- INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS (Q5195064) (← links)
- Undecidability of Parametric Solutions of Polynomial Equations (Q5288033) (← links)
- THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS (Q5359580) (← links)
- As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields (Q5369029) (← links)
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916) (← links)
- Valued fields with a total residue map (Q6649855) (← links)
