Coba jelasin Teori himpunan dari Daftar masalah matematika yang belum terpecahkan dong

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.