Jabarkan Teori himpunan dari Daftar masalah matematika yang belum terpecahkan

Masalah mencari model teras, salah satunya yang berisi semua kardinal besar.

Jika  merupakan sebuah kardinal limit kuat, maka  (lihat Hipotesis kardinal tunggal). Batas terbaik, , diperoleh oleh Shelah menggunakan teori kofinalitas mungkinnya.