Was ist MSO?
Ist MSO ausdrucksstärker als FO?
Wie kann man das sehen? -> z.B. Erreichbarkeit in Graphen, Ordnungen gerade Längen

Was bedeutet es, wenn eine Sprache MSO definierbar ist? -> (nicht auf Automaten oder sonstiges eingehen, sondern auf die Modellklasse verweisen)

Satz von Büchi und Elgot
Wie funktioniert der Beweis?
	-> z.B. wie würde man den \exists x \varphi (x) in einen Automaten transformieren?

Baumsprachen, Baumautomaten
Was ist eine Baumsprache?
Was für Baumautomaten gibt es? Sind die gleich mächtig? Wie kann man das sehen?
Was ist ein Lauf eines Baumautomaten?

Was ist FPT?
Was ist die Komplexität vom Model Checking Problem in MSO? -> PSpace vollständig

Satz von Courcelle
Was sagt er?
Was ist die Komplexität/mit welchen Parametern?
	-> |bw| + |\varphi|


Was ist denn so eine Baumzerlegung?

Satz von Gaifmann
Was sagt er? -> Jeder Satz in FO ist äquivalent zu einem Satz in Gaifmann-Normalform
Was ist ein basis-lokaler Satz? 
Was ist eine r-lokale Formel?

Auswahl:
Wie beweist man ihn? -> Lemma A, Lemma B
oder: 
Was sind die Anwendungen?

nicht gefragte Dinge, die trotzdem relevant sein könnten:
Satz von Fagin
Gaifmnangraphen
Inzidenzstrukturen (sind Formeln über Inzidenzstrukturen ausdrucksstärker als über standardkodierte Strukturen in FO/MSO?)