Here is more difficult exercise (for me of course) from definiable sets:
Let be the partial ordering (in a signature with ) whose elements are the positive integers, with iff divides .
Show that the set and the set of primes are both -definable in .
I don't have any idea how can I solve it. Could You give me some advices?
Any help will be highly appreciated.