Pages that link to "Item:Q4265563"
From MaRDI portal
The following pages link to Undecidable existential theories of polynomial rings and function fields (Q4265563):
Displaying 13 items.
- A survey on Büchi's problem: new presentations and open problems (Q393235) (← links)
- Decidability questions for a ring of Laurent polynomials (Q764281) (← links)
- Recursively enumerable sets of polynomials over a finite field (Q875928) (← links)
- An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields (Q1399671) (← links)
- Hilbert's tenth problem for rings of rational functions (Q1430905) (← 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)
- The rational field is not universally definable in pseudo-exponentiation (Q3195141) (← links)
- Diophantine sets of polynomials over number fields (Q3581096) (← links)
- Indécidabilité de corps de séries formelles (Q3834039) (← links)
- Indécidabilité des corps de courbe réelle (Q4292594) (← links)
- Undecidable wreath products and skew power series fields (Q4391433) (← links)
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916) (← links)
