7
C-Invariance (cont’d)
•
We have seen that EVEN
2
(FO + (<,+))
inv
•
•
Main question for today:
Is (FO + <)
inv
more powerful than FO ?