1
Properti tertutup kecil yang secara eksplisit dapat diekspresikan MSO
Di bawah ini, MSO menunjukkan logika urutan kedua monadik dari grafik dengan kuantifikasi himpunan sudut dan himpunan tepi. Biarkan menjadi kelompok kecil grafik tertutup. Ini mengikuti dari teori minor minor Robertson dan Seymour bahwa ditandai dengan daftar berhingga dari anak di bawah umur yang terlarang. Dengan kata lain, untuk setiap …