Pages that link to "Item:Q5680116"
From MaRDI portal
The following pages link to Some representations of Diophantine sets (Q5680116):
Displaying 6 items.
- Arithmetical representations of enumerable sets with a small number of quantifiers (Q1245954) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- Diophantine complexity (Q2276953) (← links)
- Three universal representations of recursively enumerable sets (Q3048819) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- In Memoriam: Raphael Mitchel Robinson (Q4858807) (← links)
