6
Applications
•
Consider
s
= {<}
•
•
A structure M = a string in {1}
*
= a number
•
What sets of natural numbers are definable in MSO ?