18
Discussion
•
This is a characterization that does not
mention computational resources !
•
•
Later, other complexity classes were
captured by logics, but for all lower classes
Logic need help from order.
•
•
Descriptive complexity