Butunlik aksiomasi - Wholeness axiom - Wikipedia

Matematikada yaxlitlik aksiomasi tomonidan kiritilgan to'siqlar nazariyasining kuchli aksiomasi Pol Korazza 2000 yilda.[1]

Bayonot

Butunlik aksiomasi taxminan $ a $ mavjudligini ta'kidlaydi elementar joylashish j dan Von Neyman olami V o'ziga. Buni oldini olish uchun ehtiyotkorlik bilan aytib o'tish kerak Kunenning nomuvofiqlik teoremasi bunday joylashuv mavjud emasligini (taxminan) bildiradi.

Aniqrog'i, Samyuel Gomesh da Silvaning ta'kidlashicha, "kelishmovchilikni sxemadan almashtirish aksiomasining barcha holatlarini chiqarib tashlash orqali oldini olish mumkin j-formulalar ".[2]Shunday qilib, yaxlitlik aksiomasi farq qiladi Reinhardt kardinallari (elementar birikmalarni taqdim etishning yana bir usuli V o'zi uchun) ga ruxsat berish orqali tanlov aksiomasi va buning o'rniga almashtirish aksiomasi.Ammo, Xolms, Forster va Libert (2012) Corrazza nazariyasini "tabiiy ravishda uning versiyasi sifatida qarash kerak" deb yozing Zermelo to'plami nazariyasi dan ko'ra ZFC ".[3]

Agar yaxlitlik aksiomasi izchil bo'lsa, unda butunlik aksiomasiga barcha to'plamlar ekanligi haqidagi fikrni qo'shish ham izchil bo'ladi irsiy tartibda aniqlanadigan.[4]Tomonidan kiritilgan yaxlitlik aksiomasining tabaqalashtirilgan versiyalarining izchilligi Xemkins (2001),[4] tomonidan o'rganilgan Apter (2012).[5]

Adabiyotlar

  1. ^ Korazza, Pol (2000), "Butunlik aksiomasi va Laver ketma-ketliklari", Sof va amaliy mantiq yilnomalari, 105 (1–3): 157–260, doi:10.1016 / s0168-0072 (99) 00052-4
  2. ^ Samuel Gomes da Silva, Artur Apterning "Butunlik aksiomalari va superkompakt kardinallar klassi" sharhi, JANOB2914539.
  3. ^ Xolms, M. Randall; Forster, Tomas; Libert, Thierry (2012), "Muqobil muqobil nazariyalar", Yigirmanchi asrdagi to'plamlar va kengaytmalar, Handb. Tarix. Kirish., 6, Elsevier / North-Holland, Amsterdam, 559-632 betlar, doi:10.1016 / B978-0-444-51621-3.50008-6, JANOB  3409865.
  4. ^ a b Xemkins, Joel Devid (2001), "yaxlitlik aksiomalari va V = HOD ", Matematik mantiq uchun arxiv, 40 (1): 1–8, arXiv:matematik / 9902079, doi:10.1007 / s001530050169, JANOB  1816602, S2CID  15083392.
  5. ^ Apter, Artur V. (2012), "Butunlik aksiomalari va superkompakt kardinallar klassi", Polsha Fanlar akademiyasining Axborotnomasi, Matematika, 60 (2): 101–111, doi:10.4064 / ba60-2-1, JANOB  2914539.

Tashqi havolalar