30
Major Open Problem
What happens without < ?
Open problem
. Find a logic that captures
precisely the order invariant PTIME
properties
Read 10.7 in the book (pp. 204)