1
Proprietà chiuse minori che sono esplicitamente esplicite MSO
Di seguito, MSO indica la logica monadica del secondo ordine dei grafici con quantificazioni di vertici e set di vertici. Sia una famiglia di grafici chiusa minore. Dalla teoria minore grafica di Robertson e Seymour deriva che è caratterizzato da un elenco finito di minori proibiti. In altre parole, per …