Kardinal Besar

Kardinal besar adalah aksioma tak hingga yang kuat yang menegaskan keberadaan kardinal yang begitu besar sehingga keberadaannya tidak dapat dibuktikan dalam ZFC, dan mereka membentuk hierarki yang hampir linier yang mengkalibrasi kekuatan teori matematika.

Definition

Aksioma kardinal besar menegaskan keberadaan kardinal dengan sifat penutupan atau refleksi yang kuat, biasanya dapat diekspresikan melalui penyematan elementer alam semesta; kardinal semacam itu melebihi apa yang dapat dibuktikan oleh ZFC untuk ada dan dengan demikian meningkatkan kekuatan konsistensi teori tersebut.

Scope

Topik ini mencakup gagasan kardinal besar utama seperti kardinal tak terakses, Mahlo, kompak lemah, terukur, dan superkompak, karakterisasi mereka melalui refleksi dan penyematan elementer, hierarki kekuatan konsistensi yang mereka hasilkan, dan hubungan mereka dengan determinasi dan teori model internal.

Core questions

• Sifat penutupan dan refleksi apa yang mendefinisikan kardinal besar utama?
• Bagaimana penyematan elementer mengkarakterisasi kardinal terukur dan yang lebih kuat?
• Mengapa kardinal besar membentuk hierarki kekuatan konsistensi yang hampir linier?
• Bagaimana kardinal besar berinteraksi dengan determinasi dan struktur bilangan real?

Key theories

Kardinal tak terakses dan Mahlo

Kardinal tak terakses bersifat reguler dan batas kuat, sehingga tidak dapat dicapai oleh operasi himpunan biasa dan memberikan model alami ZFC; kardinal Mahlo merefleksikan ketakteraksesan, memulai hierarki.

Kardinal terukur dan penyematan elementer

Kardinal terukur membawa ultrafilter lengkap terhitung yang nontrivial, ekuivalen dengan titik kritis dari penyematan elementer alam semesta ke dalam model internal, yang bertentangan dengan aksioma konstruktibilitas.

Hierarki kekuatan konsistensi

Aksioma kardinal besar diurutkan berdasarkan konsistensi relatif, sehingga konsistensi satu menyiratkan konsistensi semua yang lebih lemah, menyediakan tolok ukur untuk mengukur kekuatan teori arbitrer.

Clinical relevance

Kardinal besar menyediakan skala kanonik kekuatan konsistensi dalam matematika: banyak pernyataan ternyata ekuikonsisten dengan keberadaan beberapa kardinal besar, dan kardinal besar yang kuat menyiratkan sifat keteraturan garis bilangan real seperti determinasi proyektif dan keterukuran Lebesgue dari himpunan terdefinisi.

History

Kardinal tak terakses muncul dari studi Zermelo dan Sierpinski-Tarski tentang model teori himpunan, dan karya Ulam tahun 1930 tentang ukuran mengarah pada kardinal terukur. Scott menunjukkan pada tahun 1961 bahwa kardinal terukur menyangkal aksioma konstruktibilitas, dan karya selanjutnya dari Solovay, Martin, Woodin, dan lainnya membangun hierarki modern dan hubungannya dengan determinasi.

Key figures

• Stanislaw Ulam
• Dana Scott
• Robert Solovay
• Hugh Woodin

Seminal works

• kanamori2009
• jech2003
• kunen2011

Frequently asked questions

Mengapa ZFC tidak dapat membuktikan bahwa kardinal besar ada?

Kardinal tak terakses menghasilkan model himpunan ZFC, jadi menurut teorema ketidaklengkapan kedua Goedel, ZFC tidak dapat membuktikan bahwa kardinal semacam itu ada tanpa membuktikan konsistensinya sendiri, yang tidak dapat dilakukannya. Penalaran yang sama berlaku, a fortiori, untuk kardinal besar yang lebih kuat.

Mengapa mempelajari aksioma yang tidak dapat dibuktikan konsisten?

Kardinal besar menyediakan skala yang koheren dan teratur untuk membandingkan kekuatan teori matematika, dan mereka menyelesaikan pertanyaan-pertanyaan yang tidak bergantung tentang himpunan bilangan real yang dapat didefinisikan, menjadikannya alat pengorganisasi sentral meskipun konsistensinya harus diasumsikan.