Jabarkan Konjektur Vaught dari Daftar masalah matematika yang belum terpecahkan

Konjektur Cherlin–Zilber : Sebuah grup sederhana yang teori tingkat pertama adalah stabil di  merupakan sebuah grup aljabar sederhana atas sebuah medan tertutup secara aljabar.

Konjektur Celah Utama, misalnya untuk teori tingkat pertama taktercacahkan, untuk kelas elementer abstrak, dan untuk model jenuh  mengenai sebuah teori tercacahkan.