Skip to main content
2 of 4
added 8 characters in body
Andrej Bauer
  • 48.8k
  • 11
  • 131
  • 239

Methods for proving non FO definability

I'm having difficulties to prove that the subset of even numbers is not first-order definable in $(\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?