1
Kleinere geschlossene Eigenschaften, die explizit MSO-ausdrückbar sind
Im Folgenden bezeichnet MSO die monadische Logik zweiter Ordnung von Graphen mit Quantifizierungen für Vertex- und Edge-Sets. Sei eine kleine geschlossene Familie von Graphen. Aus der Graph-Minor-Theorie von Robertson und Seymour folgt, dass durch eine endliche Liste verbotener Minderjähriger gekennzeichnet ist. Mit anderen Worten, für jeden Graphen haben wir, dass …