7
Applications
•
Proposition
Hamiltonean path on undirected
graphs is not definable in MSO
•
•
•
Proof in class