[REOPENED] (Tons of thanks!)

My question "How to show the relation $<$ is not definable in $(\Bbb N; 0, \operatorname {S})$ by quantifier elimination?" is closed as duplicate.

The fault is on my side, since I weren't aware of the two duplicate questions on this site and failed to add the link to stress the difference between my difficulty and the former OP's. In particular,the thing I want to know is how to show that by quantifier elimination, while the existing answers are both using automorphism.

Now I have edited the question accordingly. Could you please vote to reopen the question?

[REOPENED] (Tons of thanks!)

My question "How to show the relation $<$ is not definable in $(\Bbb N; 0, \operatorname {S})$ by quantifier elimination?" is closed as duplicate.

The fault is on my side, since I weren't aware of the two duplicate questions on this site and failed to add the link to stress the difference between my difficulty and the former OP's. In particular,the thing I want to know is how to show that by quantifier elimination, while the existing answers are both using automorphism.

Now I have edited the question accordingly. Could you please vote to reopen the question?

My question "How to show the relation $<$ is not definable in $(\Bbb N; 0, \operatorname {S})$ by quantifier elimination?" is closed as duplicate.

The fault is on my side, since I weren't aware of the two duplicate questions on this site and failed to add the link to stress the difference between my difficulty and the former OP's. In particular,the thing I want to know is how to show that by quantifier elimination, while the existing answers are both using automorphism.

Now I have edited the question accordingly. Could you please vote to reopen the question?

[REOPENED] (Tons of thanks!)

My question "How to show the relation $<$ is not definable in $(\Bbb N; 0, \operatorname {S})$ by quantifier elimination?" is closed as duplicate.

The fault is on my side, since I weren't aware of the two duplicate questions on this site and failed to add the link to stress the difference between my difficulty and the former OP's. In particular,the thing I want to know is how to show that by quantifier elimination, while the existing answers are both using automorphism.

Now I have edited the question accordingly. Could you please vote to reopen the question?