Here is a problem I thought was easy and straightforward but
found out that it was more difficult that I thought:
In the structure < N, < >, define
a) 0 (i.e the unary relation x = 0)
c) The relation "y is the successor of x"
(N in the structure is the "natural numbers")
The reason why I thought it was easy was because
I thought I could use 0,1,+ in my answer, but seems like I cant use them
because it's not in the defined structure.
I dont really see how I can do this with only the symbol < .
Any kind of help here would be most appreciated.