8
Order-Invariant FO
•
Theorem
(Gurevich) There are properties in
(FO + <)
inv
that are not in FO.
•
FO
&
(FO + <)
inv
•