The following pages link to (Q4897352):
Displaying 8 items.
- What can and cannot be done with Diophantine problems (Q741171) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- Martin Davis’s Bibliography 1950–2015 (Q3305330) (← links)
- The quest for Diophantine finite-fold-ness (Q3383639) (← links)
- (Q5087790) (← links)
- Julia Robinson numbers and arithmetical dynamic of quadratic polynomials (Q5109737) (← links)
- Northcott numbers for the house and the Weil height (Q6048885) (← links)
