Welche Logiken haben wir betrachtet?
Wie ist die Komplexität von FOL?
Warum ist Gültigkeit r.e.?
Welche Eigenschaft ist dafür notwendig?
Was passiert mit Erfüllbarkeit bei endlichen Modellen?
Cool, dann ist FOL auf endlichen Modellen entscheidbar, oder?
Gibt's eine Formel, die nur in unendlichen Modellen erfüllbar ist?
Ja, man muss so ein paar Eigenschaften fordern, wie irreflexibilität, transitivität, usw
Und eine, die nur in endlichen?
Was haben wir gemacht um die Ausdrucksstärke zu analysieren?
Wie zeigt man sowas?
Welche Klassen haben wir beispielsweise so angeschaut?