Please help with this question.
Show that a set S is representable in PA iff its characteristic function Cs is representable in PA.
A set is representable if the relation "m in S" is representable in PA.
Cs(m)= 1 if m in S
0 if m in N - S (N are the natural numbers)