The following pages link to (Q3751575):
Displaying 12 items.
- Further results on Hilbert's tenth problem (Q829448) (← links)
- Max-min of polynomials and exponential Diophantine equations (Q962991) (← links)
- Sentences over integral domains and their computational complexities (Q1286369) (← links)
- Skolem functions of arithmetical sentences. (Q1427862) (← links)
- Approximate solutions of polynomial equations. (Q1599546) (← links)
- Max-min of polynomials and exponential Diophantine equations. II. (Q2517144) (← links)
- A logical approach to the problem of representation of integers by systems of diagonal forms (Q3169270) (← links)
- (Q4026915) (← links)
- (Q4462794) (← links)
- (Q4982460) (← links)
- (Q5490186) (← links)
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916) (← links)