show/hide this revision's text 4 edited tags
show/hide this revision's text 3 edited tags
show/hide this revision's text 2 added 8 characters in body

I'm having difficulties to prove that the subset of even numbers is not first-order definable in $(\N,(\mathbb{N},<)$. Any hint is welcomed!

More generally, what are usual techniques in order to prove that a subset is not FO-definable. I know one using isomorphism.

What are other methods?

show/hide this revision's text 1