Coba jelasin Konjektur Kueker dari Daftar masalah matematika yang belum terpecahkan dong

Apakah terdapat sebuah teori tingkat pertama minimal-o dengan fungsi trans-eksponensial (bertumbuh dengan cepat)?

Apakah sebuah struktur homogen disajikan untuk sebuah bahasa relasional hingga memiliki pengurangan ?

Apakah graf Henson memiliki sifat model hingga?

Masalah keuniversalan untuk graf bebas-: Untuk yang himpunan hingga  mengenai graf, apakah kelas graf tercacahkan bebas-memiliki sebuah anggota semesta terhadap pembenaman kuat?

Masalah spektrum keuniversalan: Apakah terdapat sebuah teori tingkat pertama yang spektrum keuniversalan adalah minimum?