MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 fix markup and a typo

Or, very simply stated, given the finite set $S$ S = {$a_1, ... \{a_1, \dots , a_k$}a_k\}$, consider the diophantine equation: $$(n-a_1)...(n-a_n)=0$$. $(n-a_1)\dots(n-a_k)=0.$$ EDIT: Then we can write S as {$\{ \ n \ | \ \exists x : (n-a_1)...(n-a_k)=0$ }. n-a_1)\dots(n-a_k)=0\ \}$. (Thanks David)

show/hide this revision's text 2 added 79 characters in body; added 15 characters in body

Or, very simply stated, given the finite set $S$ = {$a_1, ... , a_n$}a_k$}, consider the diophantine equation: $$(x-a_1)...(x-a_n)=0$$.$(n-a_1)...(n-a_n)=0$$. EDIT: Then we can write S as {$ \ n \ | \ \exists x : (n-a_1)...(n-a_k)=0$ }. (Thanks David)

show/hide this revision's text 1

Or, very simply stated, given the finite set $S$ = {$a_1, ... , a_n$}, consider the diophantine equation: $$(x-a_1)...(x-a_n)=0$$.